Skip to content

Actions: o1-labs/proof-systems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,108 workflow runs
8,108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move tests to the subdirectory (develop) CI #622: Pull request #2737 synchronize by volhovm
October 31, 2024 06:58 24m 4s volhovm/move-tests-to-top-level-directory-develop
volhovm/move-tests-to-top-level-directory-develop
October 31, 2024 06:58 24m 4s
Move tests to the subdirectory (develop) CI #621: Pull request #2737 opened by volhovm
October 31, 2024 06:57 46s volhovm/move-tests-to-top-level-directory-develop
volhovm/move-tests-to-top-level-directory-develop
October 31, 2024 06:57 46s
Merge develop into master (after a while) o1vm CI #43: Pull request #2734 synchronize by volhovm
October 31, 2024 06:28 33m 9s volhovm/merge-develop-into-master-epic-2024-10-25
volhovm/merge-develop-into-master-epic-2024-10-25
October 31, 2024 06:28 33m 9s
Merge develop into master (after a while) CI #620: Pull request #2734 synchronize by volhovm
October 31, 2024 06:28 34m 40s volhovm/merge-develop-into-master-epic-2024-10-25
volhovm/merge-develop-into-master-epic-2024-10-25
October 31, 2024 06:28 34m 40s
Merge develop into master (after a while) o1vm CI #42: Pull request #2734 synchronize by volhovm
October 31, 2024 02:37 33m 17s volhovm/merge-develop-into-master-epic-2024-10-25
volhovm/merge-develop-into-master-epic-2024-10-25
October 31, 2024 02:37 33m 17s
Merge develop into master (after a while) CI #619: Pull request #2734 synchronize by volhovm
October 31, 2024 02:37 50m 14s volhovm/merge-develop-into-master-epic-2024-10-25
volhovm/merge-develop-into-master-epic-2024-10-25
October 31, 2024 02:37 50m 14s
Nightly tests with the code coverage Nightly tests with the code coverage #61: Scheduled
October 31, 2024 00:19 2h 33m 40s master
master
October 31, 2024 00:19 2h 33m 40s
pages build and deployment pages-build-deployment #1235: by github-pages bot
October 30, 2024 19:27 26s
October 30, 2024 19:27 26s
Merge pull request #2736 from o1-labs/marc/fix-vm Deploy Specifications & Docs to GitHub Pages #1347: Commit c3a8b83 pushed by dannywillems
October 30, 2024 19:11 15m 32s master
master
October 30, 2024 19:11 15m 32s
Merge pull request #2736 from o1-labs/marc/fix-vm o1vm CI #41: Commit c3a8b83 pushed by dannywillems
October 30, 2024 19:11 32m 56s master
master
October 30, 2024 19:11 32m 56s
Fix the equality function in the o1vm interpreter CI #618: Pull request #2736 opened by marcbeunardeau88
October 30, 2024 18:35 33m 24s marc/fix-vm
marc/fix-vm
October 30, 2024 18:35 33m 24s
Fix the equality function in the o1vm interpreter o1vm CI #40: Pull request #2736 opened by marcbeunardeau88
October 30, 2024 18:35 33m 36s marc/fix-vm
marc/fix-vm
October 30, 2024 18:35 33m 36s
o1vm/pickles: Add the verifier CI #617: Pull request #2694 synchronize by Fizzixnerd
October 30, 2024 04:59 33m 6s fizzixnerd/marc/o1vm/verif
fizzixnerd/marc/o1vm/verif
October 30, 2024 04:59 33m 6s
o1vm/pickles: Add the verifier o1vm CI #39: Pull request #2694 synchronize by Fizzixnerd
October 30, 2024 04:59 31m 26s fizzixnerd/marc/o1vm/verif
fizzixnerd/marc/o1vm/verif
October 30, 2024 04:59 31m 26s
Nightly tests with the code coverage Nightly tests with the code coverage #60: Scheduled
October 30, 2024 00:19 2h 37m 11s master
master
October 30, 2024 00:19 2h 37m 11s
o1vm/pickles remove error o1vm CI #38: Pull request #2730 synchronize by marcbeunardeau88
October 29, 2024 17:46 31m 21s marc/pickles-remove-error
marc/pickles-remove-error
October 29, 2024 17:46 31m 21s
o1vm/pickles remove error CI #616: Pull request #2730 synchronize by marcbeunardeau88
October 29, 2024 17:46 35m 3s marc/pickles-remove-error
marc/pickles-remove-error
October 29, 2024 17:46 35m 3s
Remove circuit-construction (again) CI #615: Pull request #2735 opened by volhovm
October 29, 2024 17:15 24m 4s volhovm/remove-circuit-construction
volhovm/remove-circuit-construction
October 29, 2024 17:15 24m 4s
o1vm/pickles: Add the verifier CI #614: Pull request #2694 synchronize by marcbeunardeau88
October 29, 2024 16:14 10m 51s fizzixnerd/marc/o1vm/verif
fizzixnerd/marc/o1vm/verif
October 29, 2024 16:14 10m 51s
o1vm/pickles: Add the verifier o1vm CI #37: Pull request #2694 synchronize by marcbeunardeau88
October 29, 2024 16:14 31m 38s fizzixnerd/marc/o1vm/verif
fizzixnerd/marc/o1vm/verif
October 29, 2024 16:14 31m 38s
Merge develop into master (after a while) CI #613: Pull request #2734 synchronize by volhovm
October 29, 2024 12:02 34m 30s volhovm/merge-develop-into-master-epic-2024-10-25
volhovm/merge-develop-into-master-epic-2024-10-25
October 29, 2024 12:02 34m 30s
Merge develop into master (after a while) o1vm CI #36: Pull request #2734 synchronize by volhovm
October 29, 2024 12:02 31m 26s volhovm/merge-develop-into-master-epic-2024-10-25
volhovm/merge-develop-into-master-epic-2024-10-25
October 29, 2024 12:02 31m 26s
Merge develop into master (after a while) o1vm CI #35: Pull request #2734 synchronize by volhovm
October 29, 2024 11:56 31m 35s volhovm/merge-develop-into-master-epic-2024-10-25
volhovm/merge-develop-into-master-epic-2024-10-25
October 29, 2024 11:56 31m 35s
Merge develop into master (after a while) CI #612: Pull request #2734 synchronize by volhovm
October 29, 2024 11:56 5m 47s volhovm/merge-develop-into-master-epic-2024-10-25
volhovm/merge-develop-into-master-epic-2024-10-25
October 29, 2024 11:56 5m 47s
Nightly tests with the code coverage Nightly tests with the code coverage #59: Scheduled
October 29, 2024 00:19 2h 34m 23s master
master
October 29, 2024 00:19 2h 34m 23s