Skip to content

Actions: o1-labs/proof-systems

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Makefile: target to import all programs from Optimism CI #1000: Pull request #2906 synchronize by dannywillems
December 23, 2024 20:43 7h 47m 17s dw/mips-makefile-import
dw/mips-makefile-import
December 23, 2024 20:43 7h 47m 17s
Makefile: target to import all programs from Optimism o1vm CI #542: Pull request #2906 synchronize by dannywillems
December 23, 2024 20:43 33m 44s dw/mips-makefile-import
dw/mips-makefile-import
December 23, 2024 20:43 33m 44s
fixing the parsing and constraint generation for sbtype instructions CI #999: Pull request #2855 synchronize by svv232
December 23, 2024 20:33 7h 21m 59s sai/fix-sbtype-instruction-parsing
sai/fix-sbtype-instruction-parsing
December 23, 2024 20:33 7h 21m 59s
fixing the parsing and constraint generation for sbtype instructions o1vm CI #541: Pull request #2855 synchronize by svv232
December 23, 2024 20:33 33m 16s sai/fix-sbtype-instruction-parsing
sai/fix-sbtype-instruction-parsing
December 23, 2024 20:33 33m 16s
WIP: no-op MIPS CI #998: Pull request #2910 opened by dannywillems
December 23, 2024 20:33 10m 40s dw/no-op
dw/no-op
December 23, 2024 20:33 10m 40s
WIP: no-op MIPS o1vm CI #540: Pull request #2910 opened by dannywillems
December 23, 2024 20:33 4m 50s dw/no-op
dw/no-op
December 23, 2024 20:33 4m 50s
fix: typos in documentation files o1vm CI #539: Pull request #2909 opened by vtjl10
December 23, 2024 20:29 33m 13s vtjl10:master
vtjl10:master
December 23, 2024 20:29 33m 13s
fix: typos in documentation files CI #997: Pull request #2909 opened by vtjl10
December 23, 2024 20:29 6h 48m 10s vtjl10:master
vtjl10:master
December 23, 2024 20:29 6h 48m 10s
implementation for branch greater than or equal o1vm CI #538: Pull request #2859 synchronize by svv232
December 23, 2024 20:24 33m 50s sai/branch-gte
sai/branch-gte
December 23, 2024 20:24 33m 50s
implementation for branch greater than or equal CI #996: Pull request #2859 synchronize by svv232
December 23, 2024 20:24 6h 20m 26s sai/branch-gte
sai/branch-gte
December 23, 2024 20:24 6h 20m 26s
o1vm/riscv32im: simplify assert_boolean o1vm CI #537: Pull request #2908 opened by dannywillems
December 23, 2024 20:23 33m 8s dw/riscv32im-check-boolean
dw/riscv32im-check-boolean
December 23, 2024 20:23 33m 8s
o1vm/riscv32im: simplify assert_boolean CI #995: Pull request #2908 opened by dannywillems
December 23, 2024 20:23 5h 45m 59s dw/riscv32im-check-boolean
dw/riscv32im-check-boolean
December 23, 2024 20:23 5h 45m 59s
adding instruction for branch lt o1vm CI #536: Pull request #2858 synchronize by svv232
December 23, 2024 20:22 34m 1s sai/branch-lt
sai/branch-lt
December 23, 2024 20:22 34m 1s
adding instruction for branch lt CI #994: Pull request #2858 synchronize by svv232
December 23, 2024 20:22 5h 11m 58s sai/branch-lt
sai/branch-lt
December 23, 2024 20:22 5h 11m 58s
fixing the parsing and constraint generation for sbtype instructions o1vm CI #535: Pull request #2855 synchronize by svv232
December 23, 2024 20:16 4m 39s sai/fix-sbtype-instruction-parsing
sai/fix-sbtype-instruction-parsing
December 23, 2024 20:16 4m 39s
fixing the parsing and constraint generation for sbtype instructions CI #993: Pull request #2855 synchronize by svv232
December 23, 2024 20:16 10m 33s sai/fix-sbtype-instruction-parsing
sai/fix-sbtype-instruction-parsing
December 23, 2024 20:16 10m 33s
pages build and deployment pages-build-deployment #1356: by github-pages bot
December 23, 2024 20:11 27s gh-pages
gh-pages
December 23, 2024 20:11 27s
pages build and deployment pages-build-deployment #1355: by github-pages bot
December 23, 2024 20:10 29s gh-pages
gh-pages
December 23, 2024 20:10 29s
pages build and deployment pages-build-deployment #1354: by github-pages bot
December 23, 2024 20:10 13s gh-pages
gh-pages
December 23, 2024 20:10 13s
pages build and deployment pages-build-deployment #1353: by github-pages bot
December 23, 2024 20:10 17s gh-pages
gh-pages
December 23, 2024 20:10 17s
pages build and deployment pages-build-deployment #1352: by github-pages bot
December 23, 2024 20:10 15s gh-pages
gh-pages
December 23, 2024 20:10 15s
fixing the parsing and constraint generation for sbtype instructions o1vm CI #534: Pull request #2855 synchronize by svv232
December 23, 2024 20:04 33m 48s sai/fix-sbtype-instruction-parsing
sai/fix-sbtype-instruction-parsing
December 23, 2024 20:04 33m 48s
fixing the parsing and constraint generation for sbtype instructions CI #992: Pull request #2855 synchronize by svv232
December 23, 2024 20:04 12m 15s sai/fix-sbtype-instruction-parsing
sai/fix-sbtype-instruction-parsing
December 23, 2024 20:04 12m 15s
pages build and deployment pages-build-deployment #1351: by github-pages bot
December 23, 2024 20:01 24s gh-pages
gh-pages
December 23, 2024 20:01 24s
Merge pull request #2894 from o1-labs/dw/test-addi-negative-values Deploy Specifications & Docs to GitHub Pages #1480: Commit 598d2bc pushed by dannywillems
December 23, 2024 19:59 11m 49s master
master
December 23, 2024 19:59 11m 49s