Skip to content

Actions: epfl-lara/bolts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
522 workflow runs
522 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix imports Bolts CI Verification #110: Commit 5137522 pushed by samuelchassot
2h 26m 42s main
main
2h 26m 42s
fix imports Bolts CI with admit VCs #506: Commit 5137522 pushed by samuelchassot
1m 0s main
main
1m 0s
Add the lemmas for caching to listmap (#153) Bolts CI with admit VCs #505: Commit fa415ed pushed by samuelchassot
2h 20m 54s main
main
2h 20m 54s
Add the lemmas for caching to listmap (#153) Bolts CI Verification #109: Commit fa415ed pushed by samuelchassot
16m 44s main
main
16m 44s
Add the lemmas for caching to listmap Bolts CI with admit VCs #504: Pull request #153 synchronize by samuelchassot
2h 21m 17s sam/addingCachingLemmasToListMap
sam/addingCachingLemmasToListMap
2h 21m 17s
Copilot code review Copilot code review #12: by Copilot AI
2m 14s refs/pull/154/head
refs/pull/154/head
2m 14s
Addressing comment on PR #154 Copilot coding agent #1: by Copilot AI
2m 2s copilot/sub-pr-153
copilot/sub-pr-153
2m 2s
Add the lemmas for caching to listmap Bolts CI with admit VCs #501: Pull request #153 opened by samuelchassot
3h 27m 51s sam/addingCachingLemmasToListMap
sam/addingCachingLemmasToListMap
3h 27m 51s
Copilot code review Copilot code review #11: by Copilot AI
4m 5s refs/pull/153/head
refs/pull/153/head
4m 5s
Better contains spec in ListMap (#152) Bolts CI Verification #108: Commit 49e3c6e pushed by samuelchassot
51m 0s main
main
51m 0s
Better contains spec in ListMap (#152) Bolts CI with admit VCs #500: Commit 49e3c6e pushed by samuelchassot
6h 0m 20s main
main
6h 0m 20s
Better contains spec in ListMap Bolts CI with admit VCs #499: Pull request #152 synchronize by samuelchassot
2h 28m 23s sam/updateListMap
sam/updateListMap
2h 28m 23s
Bolts CI Verification Bolts CI Verification #107: Manually run by samuelchassot
2h 25m 39s sam/updateListMap
sam/updateListMap
2h 25m 39s
Better contains spec in ListMap Bolts CI with admit VCs #498: Pull request #152 synchronize by samuelchassot
2m 14s sam/updateListMap
sam/updateListMap
2m 14s
Bolts CI Verification Bolts CI Verification #106: Manually run by samuelchassot
14m 33s sam/updateListMap
sam/updateListMap
14m 33s
Copilot code review Copilot code review #10: by Copilot AI
3m 0s refs/pull/152/head
refs/pull/152/head
3m 0s
Better contains spec in ListMap Bolts CI with admit VCs #497: Pull request #152 opened by samuelchassot
29s sam/updateListMap
sam/updateListMap
29s
format Bolts CI Verification #105: Commit c769bb4 pushed by samuelchassot
2h 24m 56s main
main
2h 24m 56s
format Bolts CI with admit VCs #496: Commit c769bb4 pushed by samuelchassot
41m 29s main
main
41m 29s
Sam/ziplex mem lex benchmark Bolts CI with admit VCs #495: Pull request #151 synchronize by samuelchassot
2m 48s sam/ziplexMemLexBenchmark
sam/ziplexMemLexBenchmark
2m 48s
Sam/ziplex mem lex benchmark Bolts CI with admit VCs #494: Pull request #151 synchronize by samuelchassot
1h 50m 58s sam/ziplexMemLexBenchmark
sam/ziplexMemLexBenchmark
1h 50m 58s
Memoization in Lex, in particular for the computation of find longest… Bolts CI Verification #104: Commit e7bd548 pushed by samuelchassot
2h 22m 32s main
main
2h 22m 32s
Memoization in Lex, in particular for the computation of find longest… Bolts CI with admit VCs #493: Commit e7bd548 pushed by samuelchassot
2h 18m 16s main
main
2h 18m 16s
Memoization in Lex, in particular for the computation of find longest match Bolts CI with admit VCs #492: Pull request #149 synchronize by samuelchassot
39s sam/ziplexMemLex
sam/ziplexMemLex
39s
Bolts CI Verification Bolts CI Verification #103: Manually run by samuelchassot
2h 26m 22s sam/ziplexMemLex
sam/ziplexMemLex
2h 26m 22s