Skip to content

Actions: epfl-lara/bolts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add vector to lexer for performance Bolts CI with admit VCs #136: Pull request #130 synchronize by samuelchassot
March 20, 2025 19:49 1h 40m 3s samuelchassot:sam/vector
samuelchassot:sam/vector
March 20, 2025 19:49 1h 40m 3s
Add vector to lexer for performance Bolts CI with admit VCs #135: Pull request #130 opened by samuelchassot
March 20, 2025 19:48 1h 40m 11s samuelchassot:sam/vector
samuelchassot:sam/vector
March 20, 2025 19:48 1h 40m 11s
Add trait to modularise the lexer (#127) Bolts CI Verification #15: Commit 2af2eba pushed by samuelchassot
March 20, 2025 19:48 1h 54m 45s main
main
March 20, 2025 19:48 1h 54m 45s
Add trait to modularise the lexer (#127) Bolts CI with admit VCs #134: Commit 2af2eba pushed by samuelchassot
March 20, 2025 19:48 1h 40m 40s main
main
March 20, 2025 19:48 1h 40m 40s
Add trait to modularise the lexer Bolts CI with admit VCs #133: Pull request #127 synchronize by samuelchassot
March 20, 2025 15:23 1h 37m 32s samuelchassot:sam/trait
samuelchassot:sam/trait
March 20, 2025 15:23 1h 37m 32s
Add trait to modularise the lexer Bolts CI with admit VCs #132: Pull request #127 synchronize by samuelchassot
March 20, 2025 15:19 1h 40m 57s samuelchassot:sam/trait
samuelchassot:sam/trait
March 20, 2025 15:19 1h 40m 57s
Add trait to modularise the lexer Bolts CI with admit VCs #131: Pull request #127 synchronize by samuelchassot
March 20, 2025 15:13 1h 39m 45s samuelchassot:sam/trait
samuelchassot:sam/trait
March 20, 2025 15:13 1h 39m 45s
Add trait to modularise the lexer Bolts CI with admit VCs #130: Pull request #127 synchronize by samuelchassot
March 19, 2025 17:04 1h 55m 44s samuelchassot:sam/trait
samuelchassot:sam/trait
March 19, 2025 17:04 1h 55m 44s
Add trait to modularise the lexer Bolts CI with admit VCs #129: Pull request #127 synchronize by samuelchassot
March 19, 2025 16:18 1h 54m 46s samuelchassot:sam/trait
samuelchassot:sam/trait
March 19, 2025 16:18 1h 54m 46s
Add trait to modularise the lexer Bolts CI with admit VCs #128: Pull request #127 synchronize by samuelchassot
March 19, 2025 15:53 1h 39m 59s samuelchassot:sam/trait
samuelchassot:sam/trait
March 19, 2025 15:53 1h 39m 59s
Add trait to modularise the lexer Bolts CI with admit VCs #127: Pull request #127 synchronize by samuelchassot
March 19, 2025 15:03 1h 44m 5s samuelchassot:sam/trait
samuelchassot:sam/trait
March 19, 2025 15:03 1h 44m 5s
Bolts CI Verification Bolts CI Verification #14: Manually run by vkuncak
March 19, 2025 14:42 1h 48m 16s main
main
March 19, 2025 14:42 1h 48m 16s
Time-bounded execution for arithmetic language soundness (so we do no… Bolts CI with admit VCs #126: Commit 05f1df0 pushed by vkuncak
March 19, 2025 13:04 1h 32m 21s main
main
March 19, 2025 13:04 1h 32m 21s
Time-bounded execution for arithmetic language soundness (so we do no… Bolts CI Verification #13: Commit 05f1df0 pushed by vkuncak
March 19, 2025 13:04 1h 37m 15s main
main
March 19, 2025 13:04 1h 37m 15s
Time-bounded execution for arithmetic language soundness (so we do not rely on evaluation termination) Bolts CI with admit VCs #125: Pull request #129 opened by vkuncak
March 18, 2025 12:30 1h 33m 33s vk/arith2
vk/arith2
March 18, 2025 12:30 1h 33m 33s
Typeability ensuring error-absence in simple non-recursive arithmetic… Bolts CI with admit VCs #124: Commit d0af7c4 pushed by vkuncak
March 17, 2025 16:26 1h 32m 28s main
main
March 17, 2025 16:26 1h 32m 28s
Typeability ensuring error-absence in simple non-recursive arithmetic… Bolts CI Verification #12: Commit d0af7c4 pushed by vkuncak
March 17, 2025 16:26 1h 49m 8s main
main
March 17, 2025 16:26 1h 49m 8s
Typeability in simple arithmetic language Bolts CI with admit VCs #123: Pull request #128 opened by vkuncak
March 17, 2025 11:07 1h 32m 55s vk/arith-lang
vk/arith-lang
March 17, 2025 11:07 1h 32m 55s
Add trait to modularise the lexer Bolts CI with admit VCs #122: Pull request #127 synchronize by samuelchassot
March 14, 2025 13:11 27m 11s samuelchassot:sam/trait
samuelchassot:sam/trait
March 14, 2025 13:11 27m 11s
Add trait to modularise the lexer Bolts CI with admit VCs #121: Pull request #127 opened by samuelchassot
March 14, 2025 13:11 26m 22s samuelchassot:sam/trait
samuelchassot:sam/trait
March 14, 2025 13:11 26m 22s
Bolts CI Verification Bolts CI Verification #11: Manually run by samuelchassot
March 14, 2025 12:10 1h 55m 19s sam/invertibilityLexing
sam/invertibilityLexing
March 14, 2025 12:10 1h 55m 19s
Invertibility using the prefix set criterion Bolts CI with admit VCs #120: Pull request #126 synchronize by samuelchassot
March 14, 2025 09:42 1h 41m 48s samuelchassot:sam/invertibilityLexing
samuelchassot:sam/invertibilityLexing
March 14, 2025 09:42 1h 41m 48s
Invertibility using the prefix set criterion Bolts CI with admit VCs #119: Pull request #126 synchronize by samuelchassot
March 13, 2025 15:45 1h 39m 13s samuelchassot:sam/invertibilityLexing
samuelchassot:sam/invertibilityLexing
March 13, 2025 15:45 1h 39m 13s
Invertibility using the prefix set criterion Bolts CI with admit VCs #118: Pull request #126 synchronize by samuelchassot
March 13, 2025 12:35 1h 37m 53s samuelchassot:sam/invertibilityLexing
samuelchassot:sam/invertibilityLexing
March 13, 2025 12:35 1h 37m 53s
Invertibility using the prefix set criterion Bolts CI with admit VCs #117: Pull request #126 opened by samuelchassot
March 13, 2025 12:34 1h 38m 30s samuelchassot:sam/invertibilityLexing
samuelchassot:sam/invertibilityLexing
March 13, 2025 12:34 1h 38m 30s