Skip to content

Actions: microsoft/vega-prover

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
626 workflow runs
626 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
Scheduled CodeQL #212: by github-advanced-security AI
2m 36s main
main
2m 36s
Scheduled CodeQL #211: by github-advanced-security AI
1m 59s main
main
1m 59s
Small fixes (#147) Build and Test vega-prover #517: Commit c0ee259 pushed by srinathsetty
4m 38s main
main
4m 38s
Push on main CodeQL #210: by srinathsetty
1m 53s main
main
1m 53s
Small fixes Build and Test vega-prover #516: Pull request #147 opened by srinathsetty
4m 38s mc-audit-fixes
mc-audit-fixes
4m 38s
PR #147 CodeQL #209: by srinathsetty
2m 0s refs/pull/147/head
refs/pull/147/head
2m 0s
Update python impl (#146) Build and Test vega-prover #515: Commit 833dfc7 pushed by srinathsetty
3m 9s main
main
3m 9s
Update python impl (#146) Deploy the Vega Book to GitHub Pages #12: Commit 833dfc7 pushed by srinathsetty
1m 30s main
main
1m 30s
Push on main CodeQL #208: by srinathsetty
1m 58s main
main
1m 58s
Update python impl Build and Test vega-prover #514: Pull request #146 synchronize by srinathsetty
4m 40s reference-csprng
reference-csprng
4m 40s
PR #146 CodeQL #207: by srinathsetty
2m 20s refs/pull/146/head
refs/pull/146/head
2m 20s
Update python impl Build and Test vega-prover #513: Pull request #146 opened by srinathsetty
4m 24s reference-csprng
reference-csprng
4m 24s
PR #146 CodeQL #206: by srinathsetty
1m 59s refs/pull/146/head
refs/pull/146/head
1m 59s
Book updates (#145) Build and Test vega-prover #512: Commit cd03776 pushed by srinathsetty
4m 15s main
main
4m 15s
Book updates (#145) Deploy the Vega Book to GitHub Pages #11: Commit cd03776 pushed by srinathsetty
53s main
main
53s
Push on main CodeQL #205: by srinathsetty
1m 52s main
main
1m 52s
PR #145 CodeQL #204: by srinathsetty
1m 46s refs/pull/145/head
refs/pull/145/head
1m 46s
Book updates Build and Test vega-prover #511: Pull request #145 opened by srinathsetty
4m 0s book-critique
book-critique
4m 0s
PR #145 CodeQL #203: by srinathsetty
1m 54s refs/pull/145/head
refs/pull/145/head
1m 54s
Graph Update: pip in /reference/pyvega #1459907927 Dependency Graph #2: by dependabot Bot
1m 2s main
main
1m 2s
Cleanup book (#144) Build and Test vega-prover #510: Commit 34e19f0 pushed by srinathsetty
3m 37s main
main
3m 37s
Cleanup book (#144) Deploy the Vega Book to GitHub Pages #10: Commit 34e19f0 pushed by srinathsetty
57s main
main
57s
Push on main CodeQL #202: by srinathsetty
2m 17s main
main
2m 17s
Cleanup book Build and Test vega-prover #509: Pull request #144 synchronize by srinathsetty
4m 37s cleanup_book
cleanup_book
4m 37s
PR #144 CodeQL #201: by srinathsetty
2m 20s refs/pull/144/head
refs/pull/144/head
2m 20s