Skip to content

Actions: argumentcomputer/Blake3.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 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
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #2: Scheduled
32s main
main
32s
chore: Update Lean to v4.33.0 (#42) CI #105: Commit c9b2273 pushed by samuelburnham
2m 20s main
main
2m 20s
chore: Update Lean to v4.33.0 CI #104: Pull request #42 synchronize by samuelburnham
3m 31s update/lean-v4.33.0
update/lean-v4.33.0
3m 31s
chore: Update Lean to v4.33.0 CI #103: Pull request #42 synchronize by samuelburnham
3m 6s update/lean-v4.33.0
update/lean-v4.33.0
3m 6s
chore: Update Lean to v4.33.0 CI #102: Pull request #42 opened by argument-ci-bot Bot
2m 29s update/lean-v4.33.0
update/lean-v4.33.0
2m 29s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #1: Manually run by samuelburnham
1m 10s main
main
1m 10s
ci: Auto-update the Lean toolchain and pinned deps (#41) CI #101: Commit 66deaf2 pushed by samuelburnham
2m 18s main
main
2m 18s
ci: Auto-update the Lean toolchain and pinned deps CI #100: Pull request #41 opened by samuelburnham
2m 25s ci/lean-update
ci/lean-update
2m 25s
github_actions in / for actions/checkout, actions/cache, cachix/cachix-action - Update #1517201251 Dependabot Updates #104: by dependabot Bot
49s main
main
49s
github_actions in /. - Update #1517200758 Dependabot Updates #103: by dependabot Bot
33s main
main
33s
fix: avoid case-insensitive source directory collision CI #99: Pull request #40 opened by MuNeNiCK
Action required MuNeNiCK:fix/case-insensitive-source-directory
MuNeNiCK:fix/case-insensitive-source-directory
Action required
github_actions in / for actions/checkout, actions/cache, cachix/cachix-action - Update #1502206065 Dependabot Updates #102: by dependabot Bot
50s main
main
50s
github_actions in /. - Update #1502205964 Dependabot Updates #101: by dependabot Bot
34s main
main
34s
github_actions in / for actions/checkout, actions/cache, cachix/cachix-action - Update #1486306062 Dependabot Updates #100: by dependabot Bot
39s main
main
39s
github_actions in /. - Update #1486305117 Dependabot Updates #99: by dependabot Bot
28s main
main
28s
github_actions in / for actions/checkout, actions/cache, cachix/cachix-action - Update #1467903840 Dependabot Updates #98: by dependabot Bot
39s main
main
39s
github_actions in /. - Update #1467903747 Dependabot Updates #97: by dependabot Bot
26s main
main
26s
chore(deps): bump the actions-dependencies group across 1 directory with 3 updates CI #98: Pull request #39 opened by dependabot Bot
2m 42s dependabot/github_actions/actions-dependencies-f22b17b2aa
dependabot/github_actions/actions-dependencies-f22b17b2aa
2m 42s
github_actions in / for actions/checkout, actions/cache - Update #1465547092 Dependabot Updates #96: by dependabot Bot
40s main
main
40s
chore: Update Lean to v4.31.0 (#38) CI #97: Commit 2342f0d pushed by samuelburnham
2m 23s main
main
2m 23s
chore: Update Lean to v4.31.0 CI #96: Pull request #38 opened by samuelburnham
2m 33s lean-v4.31.0
lean-v4.31.0
2m 33s
github_actions in / for actions/checkout, actions/cache - Update #1458360932 Dependabot Updates #95: by dependabot Bot
43s main
main
43s
github_actions in /. - Update #1458360857 Dependabot Updates #94: by dependabot Bot
29s main
main
29s
github_actions in / for actions/checkout, actions/cache - Update #1449209496 Dependabot Updates #93: by dependabot Bot
45s main
main
45s
github_actions in /. - Update #1449209426 Dependabot Updates #92: by dependabot Bot
32s main
main
32s