Skip to content

Actions: leanprover-community/queueboard-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,240 workflow runs
1,240 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(deps): bump astral-sh/setup-uv from 9.0.0 to 10.0.1 CI checks #816: Pull request #199 opened by dependabot Bot
2m 27s dependabot/github_actions/astral-sh/setup-uv-10.0.1
dependabot/github_actions/astral-sh/setup-uv-10.0.1
2m 27s
chore(deps): bump astral-sh/setup-uv from 9.0.0 to 10.0.1 CI checks #815: Commit 9f2f50a pushed by dependabot Bot
2m 20s dependabot/github_actions/astral-sh/setup-uv-10.0.1
dependabot/github_actions/astral-sh/setup-uv-10.0.1
2m 20s
github_actions in /. - Update #1549721517 Dependabot Updates #16: by dependabot Bot
1m 2s master
master
1m 2s
Build sanitized analytics snapshot Build sanitized analytics snapshot #269: Scheduled
2m 24s master
master
2m 24s
feat(dashboard): link privacy policy from the analytics notice (#198) CI checks #814: Commit 42a47b1 pushed by bryangingechen
2m 22s master
master
2m 22s
feat(dashboard): link privacy policy from the analytics notice CI checks #813: Pull request #198 opened by bryangingechen
2m 15s feat/analytics-privacy-policy-link
feat/analytics-privacy-policy-link
2m 15s
feat(dashboard): link privacy policy from the analytics notice CI checks #812: Commit 4852820 pushed by bryangingechen
3m 2s feat/analytics-privacy-policy-link
feat/analytics-privacy-policy-link
3m 2s
feat(site_analytics): app for collecting anonymized visit data for co… CI checks #811: Commit 501b59e pushed by bryangingechen
2m 26s master
master
2m 26s
Build sanitized analytics snapshot Build sanitized analytics snapshot #268: Scheduled
3m 18s master
master
3m 18s
feat(site_analytics): app for collecting anonymized visit data for community pages CI checks #810: Pull request #149 synchronize by bryangingechen
2m 15s analytics-ingestion
analytics-ingestion
2m 15s
Merge branch 'master' into analytics-ingestion CI checks #809: Commit b66eeda pushed by bryangingechen
2m 14s analytics-ingestion
analytics-ingestion
2m 14s
Build sanitized analytics snapshot Build sanitized analytics snapshot #267: Scheduled
2m 30s master
master
2m 30s
Build sanitized analytics snapshot Build sanitized analytics snapshot #266: Scheduled
3m 2s master
master
3m 2s
Build sanitized analytics snapshot Build sanitized analytics snapshot #265: Scheduled
2m 27s master
master
2m 27s
doc: finalize 054 — deployed to production, no limits set CI checks #808: Commit d07ed6d pushed by bryangingechen
2m 6s master
master
2m 6s
feat: weekly assignment rate limit CI checks #807: Pull request #197 synchronize by bryangingechen
2m 18s doc/054-monthly-assignment-cap
doc/054-monthly-assignment-cap
2m 18s
doc: finalize 054 — deployed to production, no limits set CI checks #806: Commit ef1e0c1 pushed by bryangingechen
2m 18s doc/054-monthly-assignment-cap
doc/054-monthly-assignment-cap
2m 18s
feat: weekly assignment rate limit CI checks #805: Pull request #197 opened by bryangingechen
2m 11s doc/054-monthly-assignment-cap
doc/054-monthly-assignment-cap
2m 11s
fix(console): keep the stale-PR escalation thresholds in one section CI checks #804: Commit 9a62f9d pushed by bryangingechen
2m 11s doc/054-monthly-assignment-cap
doc/054-monthly-assignment-cap
2m 11s
doc: record 053 on-demand suggestions rolled out to production CI checks #803: Commit 9dcaf47 pushed by bryangingechen
2m 7s master
master
2m 7s
doc: runbook for running the Docker checks from a sandbox CI checks #802: Commit d6e48cd pushed by bryangingechen
2m 8s master
master
2m 8s
feat: on-demand assignment suggestions CI checks #801: Pull request #196 synchronize by bryangingechen
2m 9s feat/on-demand-assignment-suggestions
feat/on-demand-assignment-suggestions
2m 9s
doc: runbook for running the Docker checks from a sandbox CI checks #800: Commit 27fbab2 pushed by bryangingechen
2m 38s feat/on-demand-assignment-suggestions
feat/on-demand-assignment-suggestions
2m 38s
feat: on-demand assignment suggestions CI checks #799: Pull request #196 opened by bryangingechen
2m 7s feat/on-demand-assignment-suggestions
feat/on-demand-assignment-suggestions
2m 7s
doc: finalize on-demand assignment suggestions plan (053) CI checks #798: Commit 3faa6ba pushed by bryangingechen
2m 26s feat/on-demand-assignment-suggestions
feat/on-demand-assignment-suggestions
2m 26s