Skip to content

Actions: argumentcomputer/Blake3.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1264969042 Dependabot Updates #73: by dependabot bot
35s main
main
35s
chore: Switch to module system (#30) CI #75: Commit 564e0ab pushed by samuelburnham
1m 27s main
main
1m 27s
chore: Switch to module system CI #74: Pull request #30 synchronize by samuelburnham
1m 19s module-system
module-system
1m 19s
chore: Switch to module system CI #73: Pull request #30 opened by samuelburnham
1m 21s module-system
module-system
1m 21s
chore: Update Lean to v4.28.0 (#29) CI #72: Commit 810365c pushed by samuelburnham
1m 24s main
main
1m 24s
chore: Update Lean to v4.28.0 CI #71: Pull request #29 opened by samuelburnham
1m 22s lean-v4.28.0
lean-v4.28.0
1m 22s
chore: Update Lean to v4.27.0 (#28) CI #70: Commit 686c397 pushed by samuelburnham
1m 19s main
main
1m 19s
chore: Update Lean to v4.27.0 CI #69: Pull request #28 synchronize by samuelburnham
1m 18s lean-v4.27.0
lean-v4.27.0
1m 18s
github_actions in /. - Update #1254590691 Dependabot Updates #72: by dependabot bot
31s main
main
31s
chore: Update Lean to v4.27.0 CI #68: Pull request #28 synchronize by samuelburnham
1m 16s lean-v4.27.0
lean-v4.27.0
1m 16s
chore: Update Lean to v4.27.0 CI #67: Pull request #28 opened by samuelburnham
1m 18s lean-v4.27.0
lean-v4.27.0
1m 18s
github_actions in /. - Update #1245333453 Dependabot Updates #71: by dependabot bot
23s main
main
23s
github_actions in /. - Update #1238011611 Dependabot Updates #70: by dependabot bot
31s main
main
31s
github_actions in /. - Update #1230384841 Dependabot Updates #69: by dependabot bot
29s main
main
29s
github_actions in /. - Update #1220899849 Dependabot Updates #68: by dependabot bot
28s main
main
28s
Bump actions/checkout from 5 to 6 in the actions-dependencies group (… CI #66: Commit 2073b96 pushed by samuelburnham
1m 19s main
main
1m 19s
Bump actions/checkout from 5 to 6 in the actions-dependencies group CI #65: Pull request #25 synchronize by dependabot bot
1m 18s dependabot/github_actions/actions-dependencies-76468cb07f
dependabot/github_actions/actions-dependencies-76468cb07f
1m 18s
github_actions in / for actions/checkout - Update #1213178200 Dependabot Updates #67: by dependabot bot
36s main
main
36s
github_actions in /. - Update #1213178181 Dependabot Updates #66: by dependabot bot
29s main
main
29s
chore: Update lean4-nix (#27) CI #64: Commit f66794e pushed by samuelburnham
1m 11s main
main
1m 11s
chore: Update lean4-nix CI #63: Pull request #27 synchronize by samuelburnham
1m 26s update-nix
update-nix
1m 26s
chore: Update lean4-nix CI #62: Pull request #27 synchronize by samuelburnham
1m 26s update-nix
update-nix
1m 26s
chore: Update lean4-nix CI #61: Pull request #27 opened by samuelburnham
20m 39s update-nix
update-nix
20m 39s
github_actions in / for actions/checkout - Update #1206479265 Dependabot Updates #65: by dependabot bot
33s main
main
33s
github_actions in /. - Update #1206479249 Dependabot Updates #64: by dependabot bot
31s main
main
31s