Skip to content

Actions: epfl-lara/bolts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add findLongestMatch function for Zipper, prove equivalence with Rege… Bolts CI with admit VCs #113: Commit 3e326b5 pushed by samuelchassot
January 29, 2025 09:26 1h 32m 5s main
main
January 29, 2025 09:26 1h 32m 5s
Add findLongestMatch function for Zipper, prove equivalence with Rege… Bolts CI Verification #9: Commit 3e326b5 pushed by samuelchassot
January 29, 2025 09:26 1h 46m 12s main
main
January 29, 2025 09:26 1h 46m 12s
Bolts CI Verification Bolts CI Verification #8: Manually run by samuelchassot
January 24, 2025 17:57 1h 49m 20s sam/zipperFindLongestMatch
sam/zipperFindLongestMatch
January 24, 2025 17:57 1h 49m 20s
Add findLongestMatch function for Zipper, prove equivalence with Regex' Bolts CI with admit VCs #112: Pull request #122 synchronize by samuelchassot
January 24, 2025 17:54 1h 34m 54s samuelchassot:sam/zipperFindLongestMatch
samuelchassot:sam/zipperFindLongestMatch
January 24, 2025 17:54 1h 34m 54s
Add findLongestMatch function for Zipper, prove equivalence with Regex' Bolts CI with admit VCs #111: Pull request #122 synchronize by samuelchassot
January 24, 2025 17:48 6m 46s samuelchassot:sam/zipperFindLongestMatch
samuelchassot:sam/zipperFindLongestMatch
January 24, 2025 17:48 6m 46s
Add findLongestMatch function for Zipper, prove equivalence with Regex' Bolts CI with admit VCs #110: Pull request #122 synchronize by samuelchassot
January 24, 2025 17:43 10m 48s samuelchassot:sam/zipperFindLongestMatch
samuelchassot:sam/zipperFindLongestMatch
January 24, 2025 17:43 10m 48s
example of inductive definitions: transitive closure (#124) Bolts CI Verification #7: Commit 2c7a436 pushed by vkuncak
January 18, 2025 18:44 1h 47m 8s main
main
January 18, 2025 18:44 1h 47m 8s
example of inductive definitions: transitive closure (#124) Bolts CI with admit VCs #109: Commit 2c7a436 pushed by vkuncak
January 18, 2025 18:44 1h 32m 1s main
main
January 18, 2025 18:44 1h 32m 1s
example of inductive definitions: transitive closure Bolts CI with admit VCs #108: Pull request #124 opened by vkuncak
January 18, 2025 15:48 1h 31m 44s vk/induct2
vk/induct2
January 18, 2025 15:48 1h 31m 44s
example for inductive definitions: reflexive transitive closure Bolts CI with admit VCs #107: Pull request #123 synchronize by vkuncak
January 18, 2025 15:41 8m 17s vk/inductive
vk/inductive
January 18, 2025 15:41 8m 17s
example for inductive definitions: reflexive transitive closure Bolts CI with admit VCs #106: Pull request #123 opened by vkuncak
January 18, 2025 15:10 38m 52s vk/inductive
vk/inductive
January 18, 2025 15:10 38m 52s
Bigger timeout Bolts CI with admit VCs #105: Commit 42c3529 pushed by samuelchassot
January 16, 2025 09:10 1h 33m 7s main
main
January 16, 2025 09:10 1h 33m 7s
Bigger timeout Bolts CI Verification #6: Commit 42c3529 pushed by samuelchassot
January 16, 2025 09:10 1h 45m 42s main
main
January 16, 2025 09:10 1h 45m 42s
Add findLongestMatch function for Zipper, prove equivalence with Regex' Bolts CI with admit VCs #104: Pull request #122 opened by samuelchassot
January 15, 2025 20:37 1h 30m 20s samuelchassot:sam/zipperFindLongestMatch
samuelchassot:sam/zipperFindLongestMatch
January 15, 2025 20:37 1h 30m 20s
Adding Zippers implementation and verification, and some benchmarks (… Bolts CI with admit VCs #103: Commit d690c12 pushed by samuelchassot
January 15, 2025 13:26 1h 30m 43s main
main
January 15, 2025 13:26 1h 30m 43s
Adding Zippers implementation and verification, and some benchmarks (… Bolts CI Verification #5: Commit d690c12 pushed by samuelchassot
January 15, 2025 13:26 1h 34m 51s main
main
January 15, 2025 13:26 1h 34m 51s
Adding Zippers implementation and verification, and some benchmarks Bolts CI with admit VCs #102: Pull request #116 synchronize by samuelchassot
December 20, 2024 16:52 1h 31m 17s samuelchassot:sam/regexZippers
samuelchassot:sam/regexZippers
December 20, 2024 16:52 1h 31m 17s
binary search in sorted array example used in 2nd year course lecture… Bolts CI with admit VCs #101: Commit 13a8ad7 pushed by vkuncak
December 18, 2024 22:13 58m 35s main
main
December 18, 2024 22:13 58m 35s
binary search in sorted array example used in 2nd year course lecture… Bolts CI Verification #4: Commit 13a8ad7 pushed by vkuncak
December 18, 2024 22:13 1h 12m 1s main
main
December 18, 2024 22:13 1h 12m 1s
binary search Bolts CI with admit VCs #100: Pull request #121 synchronize by vkuncak
December 18, 2024 09:56 59m 39s vk/binary-search
vk/binary-search
December 18, 2024 09:56 59m 39s
binary search Bolts CI with admit VCs #99: Pull request #121 opened by vkuncak
December 17, 2024 22:36 59m 1s vk/binary-search
vk/binary-search
December 17, 2024 22:36 59m 1s
Add repack to hashmap (#117) Bolts CI with admit VCs #98: Commit 156890f pushed by samuelchassot
December 16, 2024 13:30 57m 19s main
main
December 16, 2024 13:30 57m 19s
Add repack to hashmap (#117) Bolts CI Verification #3: Commit 156890f pushed by samuelchassot
December 16, 2024 13:30 1h 12m 42s main
main
December 16, 2024 13:30 1h 12m 42s
Add repack to hashmap Bolts CI with admit VCs #97: Pull request #117 synchronize by samuelchassot
December 16, 2024 13:29 59m 39s samuelchassot:sam/hashmapRepack
samuelchassot:sam/hashmapRepack
December 16, 2024 13:29 59m 39s
Revert "Hide ofSize even more from scala3 when using tasty" (#119) Bolts CI with admit VCs #96: Commit 3fadc81 pushed by samuelchassot
December 16, 2024 10:28 34m 36s main
main
December 16, 2024 10:28 34m 36s