Skip to content

Actions: epfl-lara/bolts

Actions

Bolts CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bolts-CI.yml
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New CI with extracted common setup workflow, with a new CI with verification Bolts CI #81: Pull request #120 opened by samuelchassot
December 12, 2024 10:45 6m 35s samuelchassot:sam/addCIWorkflow
samuelchassot:sam/addCIWorkflow
December 12, 2024 10:45 6m 35s
Mini mutable set implementation with trait interface, as example and better understanding of ASTs Bolts CI #80: Pull request #101 synchronize by samuelchassot
December 12, 2024 10:33 34m 49s samuelchassot:sam/minitrait
samuelchassot:sam/minitrait
December 12, 2024 10:33 34m 49s
Add getKeys operation on HashMap Bolts CI #79: Pull request #114 synchronize by samuelchassot
December 12, 2024 10:31 23m 50s samuelchassot:sam/hashmap_getkeys
samuelchassot:sam/hashmap_getkeys
December 12, 2024 10:31 23m 50s
Mini mutable set implementation with trait interface, as example and better understanding of ASTs Bolts CI #78: Pull request #101 synchronize by samuelchassot
December 12, 2024 10:30 16m 18s samuelchassot:sam/minitrait
samuelchassot:sam/minitrait
December 12, 2024 10:30 16m 18s
Revert "Hide ofSize even more from scala3 when using tasty" Bolts CI #77: Pull request #119 synchronize by samuelchassot
December 12, 2024 10:28 Action required mbovel:mb/revert-uarray-ignore
mbovel:mb/revert-uarray-ignore
December 12, 2024 10:28 Action required
Adding Zippers implementation and verification, and some benchmarks Bolts CI #76: Pull request #116 synchronize by samuelchassot
December 12, 2024 10:28 1h 33m 22s samuelchassot:sam/regexZippers
samuelchassot:sam/regexZippers
December 12, 2024 10:28 1h 33m 22s
Adding Zippers implementation and verification, and some benchmarks Bolts CI #75: Pull request #116 synchronize by samuelchassot
December 12, 2024 10:27 1s samuelchassot:sam/regexZippers
samuelchassot:sam/regexZippers
December 12, 2024 10:27 1s
Add repack to hashmap Bolts CI #74: Pull request #117 synchronize by samuelchassot
December 12, 2024 10:22 59m 30s samuelchassot:sam/hashmapRepack
samuelchassot:sam/hashmapRepack
December 12, 2024 10:22 59m 30s
Debug CI (#118) Bolts CI #73: Commit 997f69f pushed by samuelchassot
December 12, 2024 08:10 59m 37s main
main
December 12, 2024 08:10 59m 37s
Debug CI Bolts CI #72: Pull request #118 synchronize by samuelchassot
December 11, 2024 17:50 58m 42s samuelchassot:sam/debugCI
samuelchassot:sam/debugCI
December 11, 2024 17:50 58m 42s
Revert "Hide ofSize even more from scala3 when using tasty" Bolts CI #71: Pull request #119 opened by mbovel
December 11, 2024 15:13 58m 28s mbovel:mb/revert-uarray-ignore
mbovel:mb/revert-uarray-ignore
December 11, 2024 15:13 58m 28s
Debug CI Bolts CI #70: Pull request #118 synchronize by samuelchassot
December 11, 2024 09:15 1h 4m 15s samuelchassot:sam/debugCI
samuelchassot:sam/debugCI
December 11, 2024 09:15 1h 4m 15s
Debug CI Bolts CI #69: Pull request #118 synchronize by samuelchassot
December 11, 2024 09:13 1m 16s samuelchassot:sam/debugCI
samuelchassot:sam/debugCI
December 11, 2024 09:13 1m 16s
Debug CI Bolts CI #68: Pull request #118 synchronize by samuelchassot
December 11, 2024 09:11 18s samuelchassot:sam/debugCI
samuelchassot:sam/debugCI
December 11, 2024 09:11 18s
Debug CI Bolts CI #67: Pull request #118 synchronize by samuelchassot
December 11, 2024 08:59 4m 19s samuelchassot:sam/debugCI
samuelchassot:sam/debugCI
December 11, 2024 08:59 4m 19s
Debug CI Bolts CI #66: Pull request #118 synchronize by samuelchassot
December 11, 2024 08:58 1m 31s samuelchassot:sam/debugCI
samuelchassot:sam/debugCI
December 11, 2024 08:58 1m 31s
Debug CI Bolts CI #65: Pull request #118 synchronize by samuelchassot
December 11, 2024 08:43 6m 38s samuelchassot:sam/debugCI
samuelchassot:sam/debugCI
December 11, 2024 08:43 6m 38s
Debug CI Bolts CI #64: Pull request #118 synchronize by samuelchassot
December 11, 2024 08:34 4m 58s samuelchassot:sam/debugCI
samuelchassot:sam/debugCI
December 11, 2024 08:34 4m 58s
Debug CI Bolts CI #63: Pull request #118 synchronize by samuelchassot
December 11, 2024 08:29 4m 33s samuelchassot:sam/debugCI
samuelchassot:sam/debugCI
December 11, 2024 08:29 4m 33s
Debug CI Bolts CI #62: Pull request #118 synchronize by samuelchassot
December 11, 2024 07:52 4m 26s samuelchassot:sam/debugCI
samuelchassot:sam/debugCI
December 11, 2024 07:52 4m 26s
Debug CI Bolts CI #61: Pull request #118 opened by samuelchassot
December 11, 2024 07:25 5m 38s samuelchassot:sam/debugCI
samuelchassot:sam/debugCI
December 11, 2024 07:25 5m 38s
Add repack to hashmap Bolts CI #60: Pull request #117 synchronize by samuelchassot
December 9, 2024 16:00 4m 12s samuelchassot:sam/hashmapRepack
samuelchassot:sam/hashmapRepack
December 9, 2024 16:00 4m 12s
Add repack to hashmap Bolts CI #59: Pull request #117 opened by samuelchassot
December 9, 2024 15:58 1h 4m 39s samuelchassot:sam/hashmapRepack
samuelchassot:sam/hashmapRepack
December 9, 2024 15:58 1h 4m 39s
Adding Zippers implementation and verification, and some benchmarks Bolts CI #58: Pull request #116 synchronize by samuelchassot
December 9, 2024 15:49 3m 28s samuelchassot:sam/regexZippers
samuelchassot:sam/regexZippers
December 9, 2024 15:49 3m 28s
Hide ofSize even more from scala3 when using tasty Bolts CI #57: Commit 3138763 pushed by vkuncak
December 6, 2024 21:52 1h 2m 45s main
main
December 6, 2024 21:52 1h 2m 45s