Skip to content

Actions: epfl-lara/bolts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

illustration of Prop (#125) Bolts CI with admit VCs #116: Commit c318359 pushed by vkuncak
February 4, 2025 20:13 1h 35m 21s main
main
February 4, 2025 20:13 1h 35m 21s
illustration of Prop (#125) Bolts CI Verification #10: Commit c318359 pushed by vkuncak
February 4, 2025 20:13 1h 45m 45s main
main
February 4, 2025 20:13 1h 45m 45s
Illustrating Prop as a class wrapping true constant Bolts CI with admit VCs #115: Pull request #125 synchronize by vkuncak
February 4, 2025 16:28 1h 32m 0s vk/prop
vk/prop
February 4, 2025 16:28 1h 32m 0s
Illustrating Prop as a class wrapping true constant Bolts CI with admit VCs #114: Pull request #125 opened by vkuncak
February 4, 2025 16:25 1h 32m 34s vk/prop
vk/prop
February 4, 2025 16:25 1h 32m 34s
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