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 Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1280776245 Dependabot Updates #75: by dependabot bot
35s main
main
35s
feat: Add Rust bindings target CI #83: Pull request #32 synchronize by samuelburnham
2m 59s rust-bindings
rust-bindings
2m 59s
feat: Add Rust bindings target CI #82: Pull request #32 synchronize by samuelburnham
3m 4s rust-bindings
rust-bindings
3m 4s
feat: Add Rust bindings target CI #81: Pull request #32 synchronize by samuelburnham
2m 59s rust-bindings
rust-bindings
2m 59s
Add dot-methods and Valgrind CI test CI #80: Commit 4124102 pushed by samuelburnham
Failure rust-bindings
rust-bindings
Failure
feat: Add Rust bindings target CI #79: Pull request #32 synchronize by samuelburnham
2m 51s rust-bindings
rust-bindings
2m 51s
feat: Add Rust bindings target CI #78: Pull request #32 opened by samuelburnham
1m 20s rust-bindings
rust-bindings
1m 20s
github_actions in /. - Update #1272852456 Dependabot Updates #74: by dependabot bot
49s main
main
49s
fix: Memory leak in finalizer (#31) CI #77: Commit f89c732 pushed by samuelburnham
1m 25s main
main
1m 25s
fix: Memory leak in finalizer CI #76: Pull request #31 opened by samuelburnham
1m 20s hasher-leak
hasher-leak
1m 20s
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