Skip to content

Actions: o1-labs/proof-systems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,205 workflow runs
9,205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3167 from o1-labs/volhovm/fix-compilation-warnings Bench mina circuits (set baseline master) #35: Commit 626fd01 pushed by dannywillems
April 9, 2025 18:51 14m 35s master
master
April 9, 2025 18:51 14m 35s
Merge pull request #3167 from o1-labs/volhovm/fix-compilation-warnings Saffron CI #809: Commit 626fd01 pushed by dannywillems
April 9, 2025 18:51 5m 7s master
master
April 9, 2025 18:51 5m 7s
Merge pull request #3167 from o1-labs/volhovm/fix-compilation-warnings Deploy Specifications & Docs to GitHub Pages #1661: Commit 626fd01 pushed by dannywillems
April 9, 2025 18:51 12m 44s master
master
April 9, 2025 18:51 12m 44s
Merge pull request #3171 from o1-labs/dw/rm-some-comments Deploy Specifications & Docs to GitHub Pages #1660: Commit c233d99 pushed by dannywillems
April 9, 2025 18:51 11m 58s master
master
April 9, 2025 18:51 11m 58s
Merge pull request #3171 from o1-labs/dw/rm-some-comments Bench mina circuits (set baseline master) #34: Commit c233d99 pushed by dannywillems
April 9, 2025 18:51 14m 42s master
master
April 9, 2025 18:51 14m 42s
Merge pull request #3171 from o1-labs/dw/rm-some-comments Saffron CI #808: Commit c233d99 pushed by dannywillems
April 9, 2025 18:51 4m 37s master
master
April 9, 2025 18:51 4m 37s
Merge pull request #3171 from o1-labs/dw/rm-some-comments Wasm #145: Commit c233d99 pushed by dannywillems
April 9, 2025 18:51 4m 37s master
master
April 9, 2025 18:51 4m 37s
Fix plonk-wasm compilation warnings [easy] CI #1873: Pull request #3167 synchronize by dannywillems
April 9, 2025 18:08 42m 54s volhovm/fix-compilation-warnings
volhovm/fix-compilation-warnings
April 9, 2025 18:08 42m 54s
Fix plonk-wasm compilation warnings [easy] Global configuration for formatting related jobs #379: Pull request #3167 synchronize by dannywillems
April 9, 2025 18:08 1m 42s volhovm/fix-compilation-warnings
volhovm/fix-compilation-warnings
April 9, 2025 18:08 1m 42s
Fix plonk-wasm compilation warnings [easy] Bench mina circuits (check regressions against master) #47: Pull request #3167 synchronize by dannywillems
April 9, 2025 18:08 20m 58s volhovm/fix-compilation-warnings
volhovm/fix-compilation-warnings
April 9, 2025 18:08 20m 58s
Fix plonk-wasm compilation warnings [easy] Wasm #144: Pull request #3167 synchronize by dannywillems
April 9, 2025 18:08 5m 26s volhovm/fix-compilation-warnings
volhovm/fix-compilation-warnings
April 9, 2025 18:08 5m 26s
Fix plonk-wasm compilation warnings [easy] Saffron CI #807: Pull request #3167 synchronize by dannywillems
April 9, 2025 18:08 5m 4s volhovm/fix-compilation-warnings
volhovm/fix-compilation-warnings
April 9, 2025 18:08 5m 4s
plonk-wasm: remove old comments Bench mina circuits (check regressions against master) #46: Pull request #3171 opened by dannywillems
April 9, 2025 18:04 21m 26s dw/rm-some-comments
dw/rm-some-comments
April 9, 2025 18:04 21m 26s
plonk-wasm: remove old comments CI #1872: Pull request #3171 opened by dannywillems
April 9, 2025 18:04 45m 15s dw/rm-some-comments
dw/rm-some-comments
April 9, 2025 18:04 45m 15s
plonk-wasm: remove old comments Global configuration for formatting related jobs #378: Pull request #3171 opened by dannywillems
April 9, 2025 18:04 1m 17s dw/rm-some-comments
dw/rm-some-comments
April 9, 2025 18:04 1m 17s
plonk-wasm: remove old comments Saffron CI #806: Pull request #3171 opened by dannywillems
April 9, 2025 18:04 4m 54s dw/rm-some-comments
dw/rm-some-comments
April 9, 2025 18:04 4m 54s
plonk-wasm: remove old comments Wasm #143: Pull request #3171 opened by dannywillems
April 9, 2025 18:04 4m 46s dw/rm-some-comments
dw/rm-some-comments
April 9, 2025 18:04 4m 46s
pages build and deployment pages-build-deployment #1516: by github-pages bot
April 9, 2025 16:12 31s gh-pages
gh-pages
April 9, 2025 16:12 31s
[DO NOT MERGE] Attempt with ARM kimchi-stubs CI #1871: Pull request #3136 synchronize by dannywillems
April 9, 2025 16:01 43m 22s dw/kimchi-stubs-with-arm
dw/kimchi-stubs-with-arm
April 9, 2025 16:01 43m 22s
[DO NOT MERGE] Attempt with ARM kimchi-stubs Global configuration for formatting related jobs #377: Pull request #3136 synchronize by dannywillems
April 9, 2025 16:01 1m 16s dw/kimchi-stubs-with-arm
dw/kimchi-stubs-with-arm
April 9, 2025 16:01 1m 16s
[DO NOT MERGE] Attempt with ARM kimchi-stubs Wasm #142: Pull request #3136 synchronize by dannywillems
April 9, 2025 16:01 5m 0s dw/kimchi-stubs-with-arm
dw/kimchi-stubs-with-arm
April 9, 2025 16:01 5m 0s
[DO NOT MERGE] Attempt with ARM kimchi-stubs Bench mina circuits (check regressions against master) #45: Pull request #3136 synchronize by dannywillems
April 9, 2025 16:01 19m 49s dw/kimchi-stubs-with-arm
dw/kimchi-stubs-with-arm
April 9, 2025 16:01 19m 49s
[DO NOT MERGE] Attempt with ARM kimchi-stubs Saffron CI #805: Pull request #3136 synchronize by dannywillems
April 9, 2025 16:01 5m 7s dw/kimchi-stubs-with-arm
dw/kimchi-stubs-with-arm
April 9, 2025 16:01 5m 7s
Merge pull request #3133 from o1-labs/dw/support-ubuntu-24-04-arm Saffron CI #804: Commit 0f48f38 pushed by dannywillems
April 9, 2025 15:59 5m 15s master
master
April 9, 2025 15:59 5m 15s
Merge pull request #3133 from o1-labs/dw/support-ubuntu-24-04-arm Deploy Specifications & Docs to GitHub Pages #1659: Commit 0f48f38 pushed by dannywillems
April 9, 2025 15:59 12m 25s master
master
April 9, 2025 15:59 12m 25s