Skip to content

Actions: argumentcomputer/Blake3.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
195 workflow runs
195 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 #25: Scheduled
34s main
main
34s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #24: Scheduled
36s main
main
36s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #23: Scheduled
39s main
main
39s
fix: Precompile modules (#48) CI #121: Commit 2db8f69 pushed by johnchandlerburnham
2m 36s main
main
2m 36s
fix: Precompile modules CI #120: Pull request #48 opened by samuelburnham
3m 5s feat/precompile-by-default
feat/precompile-by-default
3m 5s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #22: Scheduled
33s main
main
33s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #21: Scheduled
35s main
main
35s
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