Skip to content

Actions: o1-labs/proof-systems

Actions

o1vm CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
o1vm-ci.yml
755 workflow runs
755 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2949 from o1-labs/feature/add-parameter-to-column… o1vm CI #759: Commit efa29bb pushed by mrmr1993
January 13, 2025 19:28 33m 14s master
master
January 13, 2025 19:28 33m 14s
Track lookup values in interpreter and proof o1vm CI #758: Pull request #2951 opened by mrmr1993
January 13, 2025 18:49 1h 2m 12s feature/logup-values-tracking-again
feature/logup-values-tracking-again
January 13, 2025 18:49 1h 2m 12s
Add multiplicity tracking for lookups o1vm CI #757: Pull request #2943 synchronize by mrmr1993
January 13, 2025 18:47 34m 57s feature/logup-tracking
feature/logup-tracking
January 13, 2025 18:47 34m 57s
Merge pull request #2948 from o1-labs/feature/add-parameter-to-column o1vm CI #756: Commit 993031f pushed by mrmr1993
January 13, 2025 18:20 33m 21s master
master
January 13, 2025 18:20 33m 21s
Track lookup values in interpreter and proof o1vm CI #755: Pull request #2946 synchronize by mrmr1993
January 13, 2025 17:19 1h 2m 24s feature/logup-values-tracking
feature/logup-values-tracking
January 13, 2025 17:19 1h 2m 24s
Merge pull request #2947 from o1-labs/fix/stop-generating-new-scratch… o1vm CI #754: Commit 6633122 pushed by mrmr1993
January 13, 2025 17:14 37m 40s master
master
January 13, 2025 17:14 37m 40s
Use a sane type for Relation in the MIPS constraints o1vm CI #753: Pull request #2950 opened by mrmr1993
January 13, 2025 16:47 36m 51s feature/reasonable-relation-type
feature/reasonable-relation-type
January 13, 2025 16:47 36m 51s
Parameterise ColumnIndexer o1vm CI #752: Pull request #2949 opened by mrmr1993
January 13, 2025 16:41 37m 4s feature/add-parameter-to-column-indexer
feature/add-parameter-to-column-indexer
January 13, 2025 16:41 37m 4s
Parameterise Column o1vm CI #751: Pull request #2948 synchronize by mrmr1993
January 13, 2025 16:39 34m 36s feature/add-parameter-to-column
feature/add-parameter-to-column
January 13, 2025 16:39 34m 36s
Parameterise Column o1vm CI #750: Pull request #2948 synchronize by mrmr1993
January 13, 2025 16:28 37m 3s feature/add-parameter-to-column
feature/add-parameter-to-column
January 13, 2025 16:28 37m 3s
Logup for o1vm o1vm CI #749: Pull request #2757 synchronize by Fizzixnerd
January 13, 2025 16:26 7m 55s fizzixnerd/logup-pickles
fizzixnerd/logup-pickles
January 13, 2025 16:26 7m 55s
Parameterise Column o1vm CI #748: Pull request #2948 opened by mrmr1993
January 13, 2025 16:24 42m 22s feature/add-parameter-to-column
feature/add-parameter-to-column
January 13, 2025 16:24 42m 22s
Add Oracle tests for MIPS o1vm CI #747: Pull request #2945 synchronize by martyall
January 13, 2025 16:20 37m 36s martin/add-oracle-tests-clean
martin/add-oracle-tests-clean
January 13, 2025 16:20 37m 36s
Stop generating new scratch state for halt addresses o1vm CI #746: Pull request #2947 opened by mrmr1993
January 12, 2025 12:39 34m 8s fix/stop-generating-new-scratch-states-for-halts
fix/stop-generating-new-scratch-states-for-halts
January 12, 2025 12:39 34m 8s
Track lookup values in interpreter and proof o1vm CI #745: Pull request #2946 synchronize by mrmr1993
January 12, 2025 12:19 6m 17s feature/logup-values-tracking
feature/logup-values-tracking
January 12, 2025 12:19 6m 17s
Track lookup values in interpreter and proof o1vm CI #744: Pull request #2946 synchronize by mrmr1993
January 12, 2025 12:03 6m 1s feature/logup-values-tracking
feature/logup-values-tracking
January 12, 2025 12:03 6m 1s
Track lookup values in interpreter and proof o1vm CI #743: Pull request #2946 synchronize by mrmr1993
January 12, 2025 12:03 6m 32s feature/logup-values-tracking
feature/logup-values-tracking
January 12, 2025 12:03 6m 32s
Track lookup values in interpreter and proof o1vm CI #742: Pull request #2946 synchronize by mrmr1993
January 12, 2025 11:34 5m 4s feature/logup-values-tracking
feature/logup-values-tracking
January 12, 2025 11:34 5m 4s
Track lookup values in interpreter and proof o1vm CI #741: Pull request #2946 synchronize by mrmr1993
January 12, 2025 11:28 5m 41s feature/logup-values-tracking
feature/logup-values-tracking
January 12, 2025 11:28 5m 41s
Add multiplicity tracking for lookups o1vm CI #740: Pull request #2943 synchronize by mrmr1993
January 12, 2025 11:13 33m 29s feature/logup-tracking
feature/logup-tracking
January 12, 2025 11:13 33m 29s
Add multiplicity tracking for lookups o1vm CI #739: Pull request #2943 synchronize by mrmr1993
January 12, 2025 11:05 33m 17s feature/logup-tracking
feature/logup-tracking
January 12, 2025 11:05 33m 17s
[20241209] Merge develop into master o1vm CI #738: Pull request #2868 synchronize by dannywillems
January 12, 2025 08:47 33m 42s dw/merge-back-develop-in-master
dw/merge-back-develop-in-master
January 12, 2025 08:47 33m 42s
[20241209] Merge develop into master o1vm CI #737: Pull request #2868 synchronize by dannywillems
January 12, 2025 08:45 33m 11s dw/merge-back-develop-in-master
dw/merge-back-develop-in-master
January 12, 2025 08:45 33m 11s
[20241209] Merge develop into master o1vm CI #736: Pull request #2868 synchronize by dannywillems
January 12, 2025 08:07 34m 4s dw/merge-back-develop-in-master
dw/merge-back-develop-in-master
January 12, 2025 08:07 34m 4s
Arrabbiata: clarify naming convention + absorb program state o1vm CI #735: Pull request #2938 synchronize by dannywillems
January 12, 2025 07:53 34m 2s arrabbiata/absorb
arrabbiata/absorb
January 12, 2025 07:53 34m 2s