Skip to content

Actions: leanprover-community/queueboard-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,102 workflow runs
1,102 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
Build sanitized analytics snapshot Build sanitized analytics snapshot #217: Scheduled
2m 27s master
master
2m 27s
Build sanitized analytics snapshot Build sanitized analytics snapshot #216: Scheduled
2m 21s master
master
2m 21s
doc: converge design doc 050 to a final decision record CI checks #732: Commit f1474a1 pushed by bryangingechen
1m 53s feat/reviewer-assignment-acceptance-gate
feat/reviewer-assignment-acceptance-gate
1m 53s
feat: group console proposals by repo; batch queries; local times CI checks #731: Commit 802689f pushed by bryangingechen
1m 59s feat/reviewer-assignment-acceptance-gate
feat/reviewer-assignment-acceptance-gate
1m 59s
Build sanitized analytics snapshot Build sanitized analytics snapshot #215: Scheduled
2m 29s master
master
2m 29s
Build sanitized analytics snapshot Build sanitized analytics snapshot #214: Scheduled
2m 27s master
master
2m 27s
Build sanitized analytics snapshot Build sanitized analytics snapshot #213: Scheduled
2m 33s master
master
2m 33s
Build sanitized analytics snapshot Build sanitized analytics snapshot #212: Scheduled
2m 25s master
master
2m 25s
Build sanitized analytics snapshot Build sanitized analytics snapshot #211: Scheduled
2m 13s master
master
2m 13s
Build sanitized analytics snapshot Build sanitized analytics snapshot #210: Scheduled
2m 41s master
master
2m 41s
Build sanitized analytics snapshot Build sanitized analytics snapshot #209: Scheduled
2m 24s master
master
2m 24s
chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 (#184) CI checks #730: Commit ce8e4cd pushed by bryangingechen
2m 18s master
master
2m 18s
chore(deps): bump actions/setup-python from 6.2.0 to 6.3.0 (#183) CI checks #729: Commit d58ac44 pushed by bryangingechen
34s master
master
34s
chore(deps): bump astral-sh/setup-uv from 8.1.0 to 8.2.0 (#182) CI checks #728: Commit 8929cff pushed by bryangingechen
19s master
master
19s
fix: absorb concurrent-writer insert races on unique-key models (#187) CI checks #727: Commit d5628e8 pushed by bryangingechen
33s master
master
33s
fix: absorb concurrent-writer insert races on unique-key models CI checks #726: Pull request #187 opened by bryangingechen
1m 59s fix/concurrent-unique-key-races
fix/concurrent-unique-key-races
1m 59s
fix: absorb concurrent-writer insert races on unique-key models CI checks #725: Commit 0fc01e4 pushed by bryangingechen
1m 53s fix/concurrent-unique-key-races
fix/concurrent-unique-key-races
1m 53s
fix(syncer): merge CI composite-key conflicts instead of poisoning th… CI checks #724: Commit 98a80ab pushed by bryangingechen
2m 5s master
master
2m 5s
fix(syncer): stop O(n²) CI-expiry query from pinning vacuum xmin (#186) CI checks #723: Commit ba19cf2 pushed by bryangingechen
1m 53s master
master
1m 53s
fix(syncer): stop O(n²) CI-expiry query from pinning vacuum xmin CI checks #722: Pull request #186 opened by bryangingechen
1m 59s fix/expire-stale-ci-antijoin
fix/expire-stale-ci-antijoin
1m 59s
fix(syncer): stop O(n²) CI-expiry query from pinning vacuum xmin CI checks #721: Commit 7723e07 pushed by bryangingechen
2m 1s fix/expire-stale-ci-antijoin
fix/expire-stale-ci-antijoin
2m 1s
Build sanitized analytics snapshot Build sanitized analytics snapshot #208: Scheduled
2m 39s master
master
2m 39s
feat(syncer): beat-driven drain for archive-touched forced resyncs CI checks #720: Commit bc6ccf3 pushed by bryangingechen
1m 57s master
master
1m 57s
fix(syncer): index ArchiveImportItem (repository, pr_number) probes CI checks #719: Commit b6964b8 pushed by bryangingechen
2m 0s master
master
2m 0s
fix(syncer): make resync_archive_touched_prs safe to drip-feed CI checks #718: Commit 85e1176 pushed by bryangingechen
1m 51s master
master
1m 51s