Skip to content

Actions: leanprover-community/queueboard-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,153 workflow runs
1,153 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 #243: Scheduled
2m 32s master
master
2m 32s
Build sanitized analytics snapshot Build sanitized analytics snapshot #242: Scheduled
2m 28s master
master
2m 28s
Build sanitized analytics snapshot Build sanitized analytics snapshot #241: Scheduled
3m 6s master
master
3m 6s
Build sanitized analytics snapshot Build sanitized analytics snapshot #240: Scheduled
2m 38s master
master
2m 38s
Build sanitized analytics snapshot Build sanitized analytics snapshot #239: Scheduled
2m 41s master
master
2m 41s
chore(deps): bump astral-sh/setup-uv from 8.2.0 to 9.0.0 CI checks #756: Pull request #193 opened by dependabot Bot
2m 5s dependabot/github_actions/astral-sh/setup-uv-9.0.0
dependabot/github_actions/astral-sh/setup-uv-9.0.0
2m 5s
chore(deps): bump astral-sh/setup-uv from 8.2.0 to 9.0.0 CI checks #755: Commit 747f7b7 pushed by dependabot Bot
1m 54s dependabot/github_actions/astral-sh/setup-uv-9.0.0
dependabot/github_actions/astral-sh/setup-uv-9.0.0
1m 54s
chore(deps): bump actions/checkout from 7.0.0 to 7.0.1 CI checks #754: Pull request #192 opened by dependabot Bot
2m 16s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
2m 16s
chore(deps): bump actions/checkout from 7.0.0 to 7.0.1 CI checks #753: Commit d38f0ca pushed by dependabot Bot
2m 5s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
2m 5s
chore(deps): bump actions/setup-node from 6.4.0 to 7.0.0 CI checks #752: Pull request #191 opened by dependabot Bot
1m 57s dependabot/github_actions/actions/setup-node-7.0.0
dependabot/github_actions/actions/setup-node-7.0.0
1m 57s
chore(deps): bump actions/setup-node from 6.4.0 to 7.0.0 CI checks #751: Commit fea47c9 pushed by dependabot Bot
2m 6s dependabot/github_actions/actions/setup-node-7.0.0
dependabot/github_actions/actions/setup-node-7.0.0
2m 6s
chore(deps): bump actions/setup-python from 6.3.0 to 7.0.0 CI checks #750: Pull request #190 opened by dependabot Bot
2m 2s dependabot/github_actions/actions/setup-python-7.0.0
dependabot/github_actions/actions/setup-python-7.0.0
2m 2s
chore(deps): bump actions/setup-python from 6.3.0 to 7.0.0 CI checks #749: Commit 52f6102 pushed by dependabot Bot
2m 8s dependabot/github_actions/actions/setup-python-7.0.0
dependabot/github_actions/actions/setup-python-7.0.0
2m 8s
github_actions in /. - Update #1499295105 Dependabot Updates #15: by dependabot Bot
1m 5s master
master
1m 5s
Build sanitized analytics snapshot Build sanitized analytics snapshot #238: Scheduled
2m 42s master
master
2m 42s
Build sanitized analytics snapshot Build sanitized analytics snapshot #237: Scheduled
2m 23s master
master
2m 23s
Build sanitized analytics snapshot Build sanitized analytics snapshot #236: Scheduled
2m 47s master
master
2m 47s
Build sanitized analytics snapshot Build sanitized analytics snapshot #235: Scheduled
2m 38s master
master
2m 38s
Build sanitized analytics snapshot Build sanitized analytics snapshot #234: Scheduled
2m 57s master
master
2m 57s
Build sanitized analytics snapshot Build sanitized analytics snapshot #233: Scheduled
2m 22s master
master
2m 22s
Build sanitized analytics snapshot Build sanitized analytics snapshot #232: Scheduled
2m 16s master
master
2m 16s
Build sanitized analytics snapshot Build sanitized analytics snapshot #231: Scheduled
2m 14s master
master
2m 14s
Build sanitized analytics snapshot Build sanitized analytics snapshot #230: Scheduled
2m 29s master
master
2m 29s
Build sanitized analytics snapshot Build sanitized analytics snapshot #229: Scheduled
3m 8s master
master
3m 8s
Build sanitized analytics snapshot Build sanitized analytics snapshot #228: Scheduled
2m 19s master
master
2m 19s