Skip to content

Actions: math-inc/ZkLinalg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Package hypotheses; format proofs Compile blueprint #9: Commit ba8d295 pushed by deancureton
1h 32m 30s main
main
1h 32m 30s
Update readme with citation Compile blueprint #8: Commit 1f2951c pushed by gauss-math-inc
2h 31m 28s main
main
2h 31m 28s
Add specialization to production-grade FRI Compile blueprint #7: Commit b428fcf pushed by gauss-math-inc
20m 56s main
main
20m 56s
Add readme Compile blueprint #6: Commit 6120ce5 pushed by augustepoiroux
4h 9m 27s main
main
4h 9m 27s
Minor fixes Compile blueprint #5: Commit d25d00f pushed by augustepoiroux
18m 12s main
main
18m 12s
Update blueprint tags + bump to Lean v4.24.0 Compile blueprint #4: Commit cf812b3 pushed by augustepoiroux
5m 9s main
main
5m 9s
Update blueprint with tags Compile blueprint #3: Commit 1574b98 pushed by augustepoiroux
5m 2s main
main
5m 2s
Add blueprint + lean content + clean up Compile blueprint #2: Commit ece7600 pushed by augustepoiroux
5m 8s main
main
5m 8s
Setup blueprint Build ZkLinalg #2: Commit 2fcd620 pushed by deancureton
1d 0h 0m 2s main
main
1d 0h 0m 2s
Setup blueprint Compile blueprint #1: Commit 2fcd620 pushed by deancureton
19h 49m 48s main
main
19h 49m 48s
Initial commit Build ZkLinalg #1: Commit bc42aba pushed by deancureton
1d 0h 0m 2s main
main
1d 0h 0m 2s