Skip to content

Actions: argumentcomputer/Blake3.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
190 workflow runs
190 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
github_actions in /. - Update #1547026064 Dependabot Updates #108: by dependabot Bot
45s main
main
45s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #20: Scheduled
35s main
main
35s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #19: Scheduled
36s main
main
36s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #18: Scheduled
38s main
main
38s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #17: Scheduled
39s main
main
39s
make precompileModules opt-in via precompile option CI #119: Pull request #47 opened by johnchandlerburnham
2m 47s configurable-precompile
configurable-precompile
2m 47s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #16: Scheduled
37s main
main
37s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #15: Scheduled
40s main
main
40s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #14: Scheduled
38s main
main
38s
github_actions in /. - Update #1538300653 Dependabot Updates #107: by dependabot Bot
58s main
main
58s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #13: Scheduled
38s main
main
38s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #12: Scheduled
33s main
main
33s
chore: Update Rust toolchain to v1.98 (#46) CI #118: Commit e6e908b pushed by samuelburnham
2m 31s main
main
2m 31s
chore: Update Rust toolchain to v1.98 CI #117: Pull request #46 synchronize by samuelburnham
2m 33s update/rust-1.98
update/rust-1.98
2m 33s
chore: Update Rust toolchain to v1.98 CI #116: Pull request #46 opened by samuelburnham
1m 23s update/rust-1.98
update/rust-1.98
1m 23s
fix: case insensitive source directory (#45) CI #115: Commit 6b06565 pushed by samuelburnham
2m 27s main
main
2m 27s
fix: case insensitive source directory CI #114: Pull request #45 opened by samuelburnham
2m 29s fix/case-insensitive-source-directory
fix/case-insensitive-source-directory
2m 29s
chore(deps): bump the actions-dependencies group across 1 directory w… CI #113: Commit d063dd7 pushed by samuelburnham
2m 26s main
main
2m 26s
chore(deps): bump the actions-dependencies group across 1 directory with 3 updates CI #112: Pull request #39 synchronize by samuelburnham
2m 19s dependabot/github_actions/actions-dependencies-f22b17b2aa
dependabot/github_actions/actions-dependencies-f22b17b2aa
2m 19s
chore: Update Lean to v4.33.1 (#44) CI #111: Commit 1b0fbd2 pushed by samuelburnham
2m 22s main
main
2m 22s
chore: Update Lean to v4.33.1 CI #110: Pull request #44 synchronize by samuelburnham
2m 22s update/lean-v4.33.1
update/lean-v4.33.1
2m 22s
chore: Update Lean to v4.33.1 CI #109: Pull request #44 opened by argument-ci-bot Bot
2m 14s update/lean-v4.33.1
update/lean-v4.33.1
2m 14s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #11: Scheduled
41s main
main
41s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #10: Scheduled
40s main
main
40s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #9: Scheduled
40s main
main
40s