Skip to content

Actions: leanprover-community/queueboard-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
192 workflow runs
192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build sanitized analytics snapshot Build sanitized analytics snapshot #32: Scheduled
2m 1s master
master
2m 1s
Build sanitized analytics snapshot Build sanitized analytics snapshot #31: Scheduled
1m 46s master
master
1m 46s
Build sanitized analytics snapshot Build sanitized analytics snapshot #30: Scheduled
1m 45s master
master
1m 45s
Build sanitized analytics snapshot Build sanitized analytics snapshot #29: Scheduled
1m 52s master
master
1m 52s
Build sanitized analytics snapshot Build sanitized analytics snapshot #28: Scheduled
2m 2s master
master
2m 2s
Build sanitized analytics snapshot Build sanitized analytics snapshot #27: Scheduled
2m 1s master
master
2m 1s
chore(deps): bump astral-sh/setup-uv from 7.1.5 to 7.1.6 CI checks #154: Pull request #108 opened by dependabot bot
1m 9s dependabot/github_actions/astral-sh/setup-uv-7.1.6
dependabot/github_actions/astral-sh/setup-uv-7.1.6
1m 9s
chore(deps): bump astral-sh/setup-uv from 7.1.5 to 7.1.6 CI checks #153: Commit 94384bf pushed by dependabot bot
1m 11s dependabot/github_actions/astral-sh/setup-uv-7.1.6
dependabot/github_actions/astral-sh/setup-uv-7.1.6
1m 11s
chore(deps): bump actions/upload-artifact from 5.0.0 to 6.0.0 CI checks #152: Pull request #107 opened by dependabot bot
1m 12s dependabot/github_actions/actions/upload-artifact-6.0.0
dependabot/github_actions/actions/upload-artifact-6.0.0
1m 12s
chore(deps): bump actions/upload-artifact from 5.0.0 to 6.0.0 CI checks #151: Commit 3bea08e pushed by dependabot bot
1m 18s dependabot/github_actions/actions/upload-artifact-6.0.0
dependabot/github_actions/actions/upload-artifact-6.0.0
1m 18s
github_actions in /. - Update #1196341036 Dependabot Updates #6: by dependabot bot
37s master
master
37s
Build sanitized analytics snapshot Build sanitized analytics snapshot #26: Scheduled
1m 50s master
master
1m 50s
Build sanitized analytics snapshot Build sanitized analytics snapshot #25: Scheduled
1m 49s master
master
1m 49s
Build sanitized analytics snapshot Build sanitized analytics snapshot #24: Scheduled
1m 56s master
master
1m 56s
Build sanitized analytics snapshot Build sanitized analytics snapshot #23: Scheduled
1m 58s master
master
1m 58s
chore: take grunweg off the review rotation CI checks #150: Commit 23a1d1e pushed by grunweg
1m 9s master
master
1m 9s
Build sanitized analytics snapshot Build sanitized analytics snapshot #22: Scheduled
1m 44s master
master
1m 44s
Build sanitized analytics snapshot Build sanitized analytics snapshot #21: Scheduled
1m 52s master
master
1m 52s
Build sanitized analytics snapshot Build sanitized analytics snapshot #20: Scheduled
1m 50s master
master
1m 50s
Build sanitized analytics snapshot Build sanitized analytics snapshot #19: Scheduled
2m 0s master
master
2m 0s
Build sanitized analytics snapshot Build sanitized analytics snapshot #18: Scheduled
1m 47s master
master
1m 47s
Build sanitized analytics snapshot Build sanitized analytics snapshot #17: Scheduled
1m 46s master
master
1m 46s
chore: prioritize open PRs in backfill syncs CI checks #149: Commit e7bbb61 pushed by bryangingechen
1m 18s master
master
1m 18s
chore: prioritize open PRs in backfill syncs CI checks #148: Pull request #106 opened by bryangingechen
1m 16s prioritize-open-2025-12-22
prioritize-open-2025-12-22
1m 16s
chore: prioritize open PRs in backfill syncs CI checks #147: Commit 5f5e5bb pushed by bryangingechen
1m 11s prioritize-open-2025-12-22
prioritize-open-2025-12-22
1m 11s