Skip to content

Actions: ayhon/sha3.rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 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
fixup! feat: optimize and verify rho with precomputed offsets Lean Action CI #16: Commit 3d708f4 pushed by ayhon
1m 27s main
main
1m 27s
fixup! feat: optimize and verify rho with precomputed offsets Rust #71: Commit 3d708f4 pushed by ayhon
19s main
main
19s
fixup! feat: optimize and verify rho with precomputed offsets Lean Action CI #15: Commit d526450 pushed by ayhon
1m 39s main
main
1m 39s
fixup! feat: optimize and verify rho with precomputed offsets Rust #70: Commit d526450 pushed by ayhon
19s main
main
19s
feat: rename package to avoid clashes with cargo's sha3 Rust #69: Commit 4ef09a3 pushed by ayhon
20s main
main
20s
feat: rename package to avoid clashes with cargo's sha3 Lean Action CI #14: Commit 4ef09a3 pushed by ayhon
1m 30s main
main
1m 30s
feat: optimize and verify rho with precomputed offsets Lean Action CI #13: Commit 4d2c8f5 pushed by ayhon
1m 31s main
main
1m 31s
feat: optimize and verify rho with precomputed offsets Rust #68: Commit 4d2c8f5 pushed by ayhon
20s main
main
20s
refactor: change path dependencies to git dependencies Rust #67: Commit be1b1c3 pushed by ayhon
20s main
main
20s
refactor: change path dependencies to git dependencies Lean Action CI #12: Commit be1b1c3 pushed by ayhon
1m 26s main
main
1m 26s
refactor: move temporary definitions to their proper files Lean Action CI #11: Commit 08bbffa pushed by ayhon
15s main
main
15s
refactor: move temporary definitions to their proper files Rust #66: Commit 08bbffa pushed by ayhon
1m 4s main
main
1m 4s
ci: use option suggested by Lean Action documentation Rust #65: Commit 529a194 pushed by ayhon
21s main
main
21s
ci: use option suggested by Lean Action documentation Lean Action CI #10: Commit 529a194 pushed by ayhon
15s main
main
15s
ci: give up on Lean CI (for now...) Rust #64: Commit 29ff473 pushed by ayhon
20s main
main
20s
ci: give up on Lean CI (for now...) Lean Action CI #9: Commit 29ff473 pushed by ayhon
Failure main
main
Failure
ci: try to cd before lean action Lean Action CI #8: Commit 0222762 pushed by ayhon
10s main
main
10s
ci: try to cd before lean action Rust #63: Commit 0222762 pushed by ayhon
18s main
main
18s
ci: explicitly disable building in leanaction Lean Action CI #7: Commit 8501791 pushed by ayhon
11s main
main
11s
ci: explicitly disable building in leanaction Rust #62: Commit 8501791 pushed by ayhon
21s main
main
21s
ci: run lake update before lake build Rust #61: Commit 41b2f20 pushed by ayhon
19s main
main
19s
ci: run lake update before lake build Lean Action CI #6: Commit 41b2f20 pushed by ayhon
9s main
main
9s
ci: fix effects of cd not working Rust #60: Commit 640e159 pushed by ayhon
21s main
main
21s
ci: fix effects of cd not working Lean Action CI #5: Commit 640e159 pushed by ayhon
10s main
main
10s
ci: a more manual approach Lean Action CI #4: Commit 7acb15d pushed by ayhon
10s main
main
10s