Skip to content

Actions: argumentcomputer/Blake3.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
165 workflow runs
165 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 #7: Scheduled
39s main
main
39s
chore(deps): bump the actions-dependencies group across 1 directory with 3 updates CI #106: Pull request #39 synchronize by dependabot Bot
2m 21s dependabot/github_actions/actions-dependencies-f22b17b2aa
dependabot/github_actions/actions-dependencies-f22b17b2aa
2m 21s
github_actions in / for actions/checkout, actions/cache, cachix/cachix-action - Update #1528739398 Dependabot Updates #106: by dependabot Bot
56s main
main
56s
github_actions in /. - Update #1528739335 Dependabot Updates #105: by dependabot Bot
29s main
main
29s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #6: Scheduled
39s main
main
39s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #5: Scheduled
32s main
main
32s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #4: Scheduled
34s main
main
34s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #3: Scheduled
41s main
main
41s
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