Skip to content

Actions: o1-labs/proof-systems

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,179 workflow runs
1,179 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add padding and proving for smaller programs CI #1182: Pull request #2956 opened by martyall
January 17, 2025 18:52 1h 41m 4s martin/mips-padding
martin/mips-padding
January 17, 2025 18:52 1h 41m 4s
no-op MIPS CI #1181: Pull request #2910 synchronize by martyall
January 17, 2025 18:38 58m 6s dw/no-op
dw/no-op
January 17, 2025 18:38 58m 6s
no-op MIPS CI #1180: Pull request #2910 synchronize by martyall
January 17, 2025 18:36 1m 54s dw/no-op
dw/no-op
January 17, 2025 18:36 1m 54s
no-op MIPS CI #1179: Pull request #2910 synchronize by martyall
January 17, 2025 18:34 2m 42s dw/no-op
dw/no-op
January 17, 2025 18:34 2m 42s
no-op MIPS CI #1178: Pull request #2910 synchronize by martyall
January 17, 2025 04:10 56m 41s dw/no-op
dw/no-op
January 17, 2025 04:10 56m 41s
no-op MIPS CI #1177: Pull request #2910 synchronize by martyall
January 17, 2025 02:21 23m 23s dw/no-op
dw/no-op
January 17, 2025 02:21 23m 23s
no-op MIPS CI #1176: Pull request #2910 synchronize by martyall
January 16, 2025 23:56 23m 8s dw/no-op
dw/no-op
January 16, 2025 23:56 23m 8s
no-op MIPS CI #1175: Pull request #2910 synchronize by martyall
January 16, 2025 22:54 23m 7s dw/no-op
dw/no-op
January 16, 2025 22:54 23m 7s
no-op MIPS CI #1174: Pull request #2910 synchronize by martyall
January 16, 2025 21:30 22m 52s dw/no-op
dw/no-op
January 16, 2025 21:30 22m 52s
no-op MIPS CI #1173: Pull request #2910 synchronize by martyall
January 16, 2025 21:04 23m 29s dw/no-op
dw/no-op
January 16, 2025 21:04 23m 29s
encoding/decoding for saffron data CI #1172: Pull request #2955 synchronize by Fizzixnerd
January 16, 2025 21:02 59m 59s martin/saffron-skeleton
martin/saffron-skeleton
January 16, 2025 21:02 59m 59s
encoding/decoding for saffron data CI #1171: Pull request #2955 synchronize by Fizzixnerd
January 16, 2025 19:59 10m 32s martin/saffron-skeleton
martin/saffron-skeleton
January 16, 2025 19:59 10m 32s
added srs_cache cli arg CI #1170: Pull request #2940 synchronize by martyall
January 16, 2025 17:02 58m 1s martin/add-srs_cache-cli-option
martin/add-srs_cache-cli-option
January 16, 2025 17:02 58m 1s
encoding/decoding for saffron data CI #1169: Pull request #2955 opened by martyall
January 16, 2025 15:39 59m 1s martin/saffron-skeleton
martin/saffron-skeleton
January 16, 2025 15:39 59m 1s
chore: remove redundant words CI #1168: Pull request #2954 opened by pinglanlu
January 16, 2025 10:53 Action required pinglanlu:master
pinglanlu:master
January 16, 2025 10:53 Action required
ci sanity check 2 [do not merge] CI #1167: Pull request #2953 opened by martyall
January 14, 2025 04:35 53m 52s martin/sanity-check-final
martin/sanity-check-final
January 14, 2025 04:35 53m 52s
CI sanity check [do not merge] CI #1166: Pull request #2952 synchronize by martyall
January 14, 2025 01:16 23m 19s martin/oracle-sanity-check
martin/oracle-sanity-check
January 14, 2025 01:16 23m 19s
CI sanity check [do not merge] CI #1165: Pull request #2952 opened by martyall
January 13, 2025 23:23 10m 19s martin/oracle-sanity-check
martin/oracle-sanity-check
January 13, 2025 23:23 10m 19s
no-op MIPS CI #1164: Pull request #2910 synchronize by martyall
January 13, 2025 22:51 23m 1s dw/no-op
dw/no-op
January 13, 2025 22:51 23m 1s
Track lookup values in interpreter and proof CI #1163: Pull request #2951 opened by mrmr1993
January 13, 2025 18:49 4h 12m 55s feature/logup-values-tracking-again
feature/logup-values-tracking-again
January 13, 2025 18:49 4h 12m 55s
Add multiplicity tracking for lookups CI #1162: Pull request #2943 synchronize by mrmr1993
January 13, 2025 18:47 3h 18m 19s feature/logup-tracking
feature/logup-tracking
January 13, 2025 18:47 3h 18m 19s
Track lookup values in interpreter and proof CI #1161: Pull request #2946 synchronize by mrmr1993
January 13, 2025 17:19 3h 47m 45s feature/logup-values-tracking
feature/logup-values-tracking
January 13, 2025 17:19 3h 47m 45s
Use a sane type for Relation in the MIPS constraints CI #1160: Pull request #2950 opened by mrmr1993
January 13, 2025 16:47 3h 21m 43s feature/reasonable-relation-type
feature/reasonable-relation-type
January 13, 2025 16:47 3h 21m 43s
Parameterise ColumnIndexer CI #1159: Pull request #2949 opened by mrmr1993
January 13, 2025 16:41 2h 29m 59s feature/add-parameter-to-column-indexer
feature/add-parameter-to-column-indexer
January 13, 2025 16:41 2h 29m 59s
Parameterise Column CI #1158: Pull request #2948 synchronize by mrmr1993
January 13, 2025 16:39 1h 33m 47s feature/add-parameter-to-column
feature/add-parameter-to-column
January 13, 2025 16:39 1h 33m 47s