Skip to content

Actions: facebook/winterfell

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
533 workflow runs
533 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve construction of MLEs from main trace segment CI #1317: Pull request #329 synchronize by Al-Kindi-0
September 26, 2024 19:46 1m 47s Al-Kindi-0:al-logup-gkr-improve-mle-construction
Al-Kindi-0:al-logup-gkr-improve-mle-construction
September 26, 2024 19:46 1m 47s
Parallelize s-column generation CI #1316: Pull request #326 synchronize by Al-Kindi-0
September 26, 2024 19:45 1m 54s Al-Kindi-0:al-parallelize-s-col-generation
Al-Kindi-0:al-parallelize-s-col-generation
September 26, 2024 19:45 1m 54s
Parallelize s-column generation CI #1315: Pull request #326 synchronize by Al-Kindi-0
September 26, 2024 19:44 1m 53s Al-Kindi-0:al-parallelize-s-col-generation
Al-Kindi-0:al-parallelize-s-col-generation
September 26, 2024 19:44 1m 53s
Improve construction of MLEs from main trace segment CI #1314: Pull request #329 synchronize by Al-Kindi-0
September 26, 2024 19:44 2m 1s Al-Kindi-0:al-logup-gkr-improve-mle-construction
Al-Kindi-0:al-logup-gkr-improve-mle-construction
September 26, 2024 19:44 2m 1s
Parallelize s-column generation CI #1313: Pull request #326 synchronize by Al-Kindi-0
September 26, 2024 19:36 2m 12s Al-Kindi-0:al-parallelize-s-col-generation
Al-Kindi-0:al-parallelize-s-col-generation
September 26, 2024 19:36 2m 12s
Tracking PR for the LogUp-GKR integration CI #1312: Pull request #302 synchronize by irakliyk
September 26, 2024 18:47 2m 1s logup-gkr
logup-gkr
September 26, 2024 18:47 2m 1s
Incremented winter-math crate version to v0.9.2 CI #1311: Commit c14d682 pushed by irakliyk
September 25, 2024 19:50 2m 13s main
main
September 25, 2024 19:50 2m 13s
incremented version of winter-core-utils to v0.9.3 CI #1310: Commit 366e951 pushed by irakliyk
September 25, 2024 09:53 1m 59s main
main
September 25, 2024 09:53 1m 59s
feat(utils): Implement get_size_hint for default impls (#332) CI #1309: Commit 97adef5 pushed by irakliyk
September 25, 2024 09:45 2m 4s main
main
September 25, 2024 09:45 2m 4s
feat(utils): Implement get_size_hint for default impls CI #1308: Pull request #332 synchronize by PhilippGackstatter
September 25, 2024 09:40 2m 11s PhilippGackstatter:add_size_hint
PhilippGackstatter:add_size_hint
September 25, 2024 09:40 2m 11s
feat(utils): Implement get_size_hint for default impls CI #1307: Pull request #332 synchronize by PhilippGackstatter
September 25, 2024 09:15 1m 57s PhilippGackstatter:add_size_hint
PhilippGackstatter:add_size_hint
September 25, 2024 09:15 1m 57s
Parallelize s-column generation CI #1306: Pull request #326 synchronize by Al-Kindi-0
September 25, 2024 09:09 2m 4s Al-Kindi-0:al-parallelize-s-col-generation
Al-Kindi-0:al-parallelize-s-col-generation
September 25, 2024 09:09 2m 4s
feat(utils): Implement get_size_hint for default impls CI #1305: Pull request #332 synchronize by PhilippGackstatter
September 25, 2024 08:53 1m 59s PhilippGackstatter:add_size_hint
PhilippGackstatter:add_size_hint
September 25, 2024 08:53 1m 59s
Improve construction of MLEs from main trace segment CI #1304: Pull request #329 synchronize by Al-Kindi-0
September 25, 2024 08:35 1m 55s Al-Kindi-0:al-logup-gkr-improve-mle-construction
Al-Kindi-0:al-logup-gkr-improve-mle-construction
September 25, 2024 08:35 1m 55s
Improve construction of MLEs from main trace segment CI #1303: Pull request #329 synchronize by Al-Kindi-0
September 25, 2024 08:33 1m 4s Al-Kindi-0:al-logup-gkr-improve-mle-construction
Al-Kindi-0:al-logup-gkr-improve-mle-construction
September 25, 2024 08:33 1m 4s
Fix bug parallel execution of input layer proving CI #1301: Pull request #331 opened by Al-Kindi-0
September 25, 2024 07:34 2m 10s Al-Kindi-0:al-logup-gkr-fix-bug-parallel
Al-Kindi-0:al-logup-gkr-fix-bug-parallel
September 25, 2024 07:34 2m 10s
The ref on line 226 cause the rust analyser in vs code to flag an err… CI #1300: Commit da7f84a pushed by irakliyk
September 21, 2024 03:22 1m 59s main
main
September 21, 2024 03:22 1m 59s
Tracking PR for the LogUp-GKR integration CI #1299: Pull request #302 synchronize by irakliyk
September 20, 2024 17:43 1m 55s logup-gkr
logup-gkr
September 20, 2024 17:43 1m 55s
Parallelize input layer generation CI #1298: Pull request #324 synchronize by Al-Kindi-0
September 20, 2024 17:18 1m 54s Al-Kindi-0:al-logup-gkr-parallelize-input-layer
Al-Kindi-0:al-logup-gkr-parallelize-input-layer
September 20, 2024 17:18 1m 54s
Improve construction of MLEs from main trace segment CI #1297: Pull request #329 opened by Al-Kindi-0
September 20, 2024 17:12 1m 48s Al-Kindi-0:al-logup-gkr-improve-mle-construction
Al-Kindi-0:al-logup-gkr-improve-mle-construction
September 20, 2024 17:12 1m 48s
Parallelize s-column generation CI #1296: Pull request #326 synchronize by Al-Kindi-0
September 20, 2024 16:41 1m 48s Al-Kindi-0:al-parallelize-s-col-generation
Al-Kindi-0:al-parallelize-s-col-generation
September 20, 2024 16:41 1m 48s
Tracking PR for the LogUp-GKR integration CI #1295: Pull request #302 synchronize by irakliyk
September 20, 2024 16:37 1m 49s logup-gkr
logup-gkr
September 20, 2024 16:37 1m 49s
Reduce degree of sum-check round polynomials CI #1294: Pull request #328 opened by Al-Kindi-0
September 20, 2024 16:36 2m 2s Al-Kindi-0:al-logup-gkr-reduce-degree-new
Al-Kindi-0:al-logup-gkr-reduce-degree-new
September 20, 2024 16:36 2m 2s
Fixes multilinear built from a NextRow oracle CI #1293: Pull request #327 opened by plafer
September 20, 2024 14:38 1m 42s plafer:plafer-fix-nextrow-oracle
plafer:plafer-fix-nextrow-oracle
September 20, 2024 14:38 1m 42s
Parallelize s-column generation CI #1292: Pull request #326 synchronize by Al-Kindi-0
September 20, 2024 14:36 1m 50s Al-Kindi-0:al-parallelize-s-col-generation
Al-Kindi-0:al-parallelize-s-col-generation
September 20, 2024 14:36 1m 50s