Skip to content

Actions: microsoft/vega-prover

Actions

Build and Test vega-prover

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
346 workflow runs
346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small fixes (#147)
Build and Test vega-prover #517: Commit c0ee259 pushed by srinathsetty
4m 38s main
Small fixes
Build and Test vega-prover #516: Pull request #147 opened by srinathsetty
Update python impl (#146)
Build and Test vega-prover #515: Commit 833dfc7 pushed by srinathsetty
3m 9s main
Update python impl
Build and Test vega-prover #514: Pull request #146 synchronize by srinathsetty
Update python impl
Build and Test vega-prover #513: Pull request #146 opened by srinathsetty
Book updates (#145)
Build and Test vega-prover #512: Commit cd03776 pushed by srinathsetty
4m 15s main
Book updates
Build and Test vega-prover #511: Pull request #145 opened by srinathsetty
Cleanup book (#144)
Build and Test vega-prover #510: Commit 34e19f0 pushed by srinathsetty
3m 37s main
Cleanup book
Build and Test vega-prover #509: Pull request #144 synchronize by srinathsetty
4m 37s cleanup_book
Cleanup book
Build and Test vega-prover #508: Pull request #144 opened by srinathsetty
4m 19s cleanup_book
Reference impl of vega-prover in python (#143)
Build and Test vega-prover #507: Commit 64deb09 pushed by srinathsetty
5m 0s main
Add the proof object specification chapter (#142)
Build and Test vega-prover #499: Commit 2ef6d3c pushed by srinathsetty
2m 49s main