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 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
chore: Fix build for downstream Cargo workspaces (#35) CI #93: Commit d15f36c pushed by samuelburnham
2m 43s main
main
2m 43s
chore: Fix build for downstream Cargo workspaces CI #92: Pull request #35 opened by samuelburnham
2m 44s rust-workspace
rust-workspace
2m 44s
github_actions in /. - Update #1360019887 Dependabot Updates #83: by dependabot Bot
47s main
main
47s
github_actions in /. - Update #1347148904 Dependabot Updates #82: by dependabot Bot
40s main
main
40s
github_actions in /. - Update #1338733427 Dependabot Updates #81: by dependabot Bot
34s main
main
34s
github_actions in /. - Update #1330109933 Dependabot Updates #80: by dependabot Bot
34s main
main
34s
chore: update Blake3 to v1.8.4 (#34) CI #91: Commit aaf5307 pushed by samuelburnham
2m 25s main
main
2m 25s
chore: update Blake3 to v1.8.4 CI #90: Pull request #34 opened by samuelburnham
2m 22s blake3-v1.8.4
blake3-v1.8.4
2m 22s
chore: Update Lean to v4.29.0 (#33) CI #89: Commit d815da4 pushed by samuelburnham
2m 50s main
main
2m 50s
chore: Update Lean to v4.29.0 CI #88: Pull request #33 opened by samuelburnham
2m 41s lean-v4.29.0
lean-v4.29.0
2m 41s
github_actions in /. - Update #1320382918 Dependabot Updates #79: by dependabot Bot
41s main
main
41s
github_actions in /. - Update #1308883491 Dependabot Updates #78: by dependabot Bot
39s main
main
39s
github_actions in /. - Update #1300173827 Dependabot Updates #77: by dependabot Bot
26s main
main
26s
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