Skip to content

Actions: succinctlabs/hypercube-verifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed the consistency check issue PR Lint #4: Pull request #7 opened by AllenWalker16
1d 0h 0m 2s
1d 0h 0m 2s
Optimize memory usage in eval_mle_at_point_blocking PR Lint #3: Pull request #4 opened by kenkomu
1d 0h 4m 13s
1d 0h 4m 13s
Code improvements: fix trait bounds, error messages, and unused imports PR Lint #2: Pull request #2 opened by Ravenium22
1d 3h 20m 26s
1d 3h 20m 26s
Initial Commit PR #17: Commit fc1d1a3 pushed by erabinov
1m 43s main
main
1m 43s
Initial Commit PR #16: Commit b5f3f70 pushed by erabinov
2m 18s main
main
2m 18s
Initial Commit PR #15: Commit 6e51435 pushed by erabinov
1m 42s main
main
1m 42s
Initial Commit PR #14: Commit d867382 pushed by erabinov
1m 41s main
main
1m 41s
Initial Commit PR #13: Commit 43a083a pushed by erabinov
1m 51s main
main
1m 51s
Initial Commit PR #12: Commit ed365c3 pushed by erabinov
1m 49s main
main
1m 49s
Initial Commit PR #11: Commit 4b9c2b4 pushed by erabinov
1m 24s main
main
1m 24s
Initial Commit PR #10: Commit bf54d42 pushed by erabinov
1m 41s main
main
1m 41s
Initial Commit PR #9: Commit 6db3396 pushed by erabinov
1m 42s main
main
1m 42s
clippy PR #8: Commit 259f8ac pushed by erabinov
1m 40s main
main
1m 40s
Merge remote-tracking branch 'origin/main' PR #7: Commit d1e3a9e pushed by erabinov
1m 41s main
main
1m 41s
Merge pull request #1 from succinctlabs/yuwen/readme-nit PR #6: Commit 4b85f01 pushed by erabinov
1m 37s main
main
1m 37s
nit: readme PR #5: Pull request #1 synchronize by yuwen01
2m 3s yuwen/readme-nit
yuwen/readme-nit
2m 3s
nit: readme PR Lint #1: Pull request #1 opened by yuwen01
5h 39m 52s
5h 39m 52s
committed proof.bin, renamed everything to hypercube PR #4: Commit 3a70668 pushed by erabinov
1m 50s main
main
1m 50s
sample proof PR #3: Commit 5983f63 pushed by erabinov
1m 43s main
main
1m 43s
Readme.md PR #2: Commit 0b1b546 pushed by erabinov
1m 45s main
main
1m 45s
more cleanup PR #1: Commit 3050cde pushed by erabinov
1m 40s main
main
1m 40s