Skip to content

Actions: o1-labs/proof-systems

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1402: by github-pages bot
January 10, 2025 08:17 30s gh-pages
gh-pages
January 10, 2025 08:17 30s
Merge pull request #2937 from o1-labs/dw/rust-1.79 Deploy Specifications & Docs to GitHub Pages #1530: Commit c7f78ba pushed by dannywillems
January 10, 2025 08:05 11m 57s master
master
January 10, 2025 08:05 11m 57s
Merge pull request #2937 from o1-labs/dw/rust-1.79 o1vm CI #725: Commit c7f78ba pushed by dannywillems
January 10, 2025 08:05 33m 32s master
master
January 10, 2025 08:05 33m 32s
Command line interface for riscV and pickles o1vm CI #724: Pull request #2941 opened by svv232
January 10, 2025 05:23 33m 27s sai/riscv-prover
sai/riscv-prover
January 10, 2025 05:23 33m 27s
Command line interface for riscV and pickles CI #1132: Pull request #2941 opened by svv232
January 10, 2025 05:23 56m 47s sai/riscv-prover
sai/riscv-prover
January 10, 2025 05:23 56m 47s
Nightly tests with the code coverage Nightly tests with the code coverage #135: Scheduled
January 10, 2025 00:19 2h 37m 52s master
master
January 10, 2025 00:19 2h 37m 52s
pages build and deployment pages-build-deployment #1401: by github-pages bot
January 9, 2025 17:20 30s gh-pages
gh-pages
January 9, 2025 17:20 30s
Support Rust 1.79 o1vm CI #723: Pull request #2937 synchronize by dannywillems
January 9, 2025 17:13 33m 58s dw/rust-1.79
dw/rust-1.79
January 9, 2025 17:13 33m 58s
Support Rust 1.79 CI #1131: Pull request #2937 synchronize by dannywillems
January 9, 2025 17:13 1h 56m 0s dw/rust-1.79
dw/rust-1.79
January 9, 2025 17:13 1h 56m 0s
Merge pull request #2936 from o1-labs/dw/rust-1.78 o1vm CI #722: Commit db28894 pushed by dannywillems
January 9, 2025 17:08 33m 20s master
master
January 9, 2025 17:08 33m 20s
Merge pull request #2936 from o1-labs/dw/rust-1.78 Deploy Specifications & Docs to GitHub Pages #1529: Commit db28894 pushed by dannywillems
January 9, 2025 17:08 12m 0s master
master
January 9, 2025 17:08 12m 0s
added srs_cache cli arg CI #1130: Pull request #2940 opened by martyall
January 9, 2025 16:56 1h 15m 50s martin/add-srs_cache-cli-option
martin/add-srs_cache-cli-option
January 9, 2025 16:56 1h 15m 50s
added srs_cache cli arg o1vm CI #721: Pull request #2940 opened by martyall
January 9, 2025 16:56 32m 56s martin/add-srs_cache-cli-option
martin/add-srs_cache-cli-option
January 9, 2025 16:56 32m 56s
WIP: no-op MIPS o1vm CI #720: Pull request #2910 synchronize by martyall
January 9, 2025 16:52 17m 55s dw/no-op
dw/no-op
January 9, 2025 16:52 17m 55s
WIP: no-op MIPS CI #1129: Pull request #2910 synchronize by martyall
January 9, 2025 16:52 24m 6s dw/no-op
dw/no-op
January 9, 2025 16:52 24m 6s
Support Rust 1.79 CI #1128: Pull request #2937 synchronize by dannywillems
January 9, 2025 10:24 3h 15m 6s dw/rust-1.79
dw/rust-1.79
January 9, 2025 10:24 3h 15m 6s
Support Rust 1.79 o1vm CI #719: Pull request #2937 synchronize by dannywillems
January 9, 2025 10:24 33m 12s dw/rust-1.79
dw/rust-1.79
January 9, 2025 10:24 33m 12s
pages build and deployment pages-build-deployment #1400: by github-pages bot
January 9, 2025 09:28 26s gh-pages
gh-pages
January 9, 2025 09:28 26s
Support Rust 1.78 o1vm CI #718: Pull request #2936 synchronize by dannywillems
January 9, 2025 09:17 33m 23s dw/rust-1.78
dw/rust-1.78
January 9, 2025 09:17 33m 23s
Support Rust 1.78 CI #1127: Pull request #2936 synchronize by dannywillems
January 9, 2025 09:17 3h 25m 37s dw/rust-1.78
dw/rust-1.78
January 9, 2025 09:17 3h 25m 37s
Merge pull request #2874 from o1-labs/dw/ci-drop-1.71 o1vm CI #717: Commit 2867736 pushed by dannywillems
January 9, 2025 09:16 33m 33s master
master
January 9, 2025 09:16 33m 33s
Merge pull request #2874 from o1-labs/dw/ci-drop-1.71 Deploy Specifications & Docs to GitHub Pages #1528: Commit 2867736 pushed by dannywillems
January 9, 2025 09:16 11m 44s master
master
January 9, 2025 09:16 11m 44s
Nightly tests with the code coverage Nightly tests with the code coverage #134: Scheduled
January 9, 2025 00:19 11h 28m 44s master
master
January 9, 2025 00:19 11h 28m 44s
pages build and deployment pages-build-deployment #1399: by github-pages bot
January 8, 2025 21:33 25s gh-pages
gh-pages
January 8, 2025 21:33 25s
Merge pull request #2939 from o1-labs/sai/batch-inverse-riscv Deploy Specifications & Docs to GitHub Pages #1527: Commit b947c28 pushed by svv232
January 8, 2025 21:21 12m 50s master
master
January 8, 2025 21:21 12m 50s