Skip to content

Actions: argumentcomputer/Blake3.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
163 workflow runs
163 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add Rust bindings target (#32) CI #87: Commit 40dc703 pushed by samuelburnham
3m 0s main
main
3m 0s
feat: Add Rust bindings target CI #86: Pull request #32 synchronize by samuelburnham
2m 55s rust-bindings
rust-bindings
2m 55s
feat: Add Rust bindings target CI #85: Pull request #32 synchronize by samuelburnham
2m 53s rust-bindings
rust-bindings
2m 53s
feat: Add Rust bindings target CI #84: Pull request #32 synchronize by samuelburnham
2m 56s rust-bindings
rust-bindings
2m 56s
github_actions in /. - Update #1289104839 Dependabot Updates #76: by dependabot bot
38s main
main
38s
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