Skip to content

Actions: ProvableHQ/leo

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
781 workflow runs
781 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove CONTRIBUTORS.md and refer to the other repo. CI #5596: Pull request #28499 synchronize by mikebenfield
February 3, 2025 19:23 1h 31m 22s move-contributors
move-contributors
February 3, 2025 19:23 1h 31m 22s
Remove leo example subcommand. CI #5595: Pull request #28503 synchronize by mikebenfield
February 3, 2025 17:32 1h 31m 27s no-examples
no-examples
February 3, 2025 17:32 1h 31m 27s
Remove leo example subcommand. CI #5594: Pull request #28503 synchronize by mikebenfield
February 3, 2025 17:31 1h 30m 40s no-examples
no-examples
February 3, 2025 17:31 1h 30m 40s
Remove leo example subcommand. CI #5593: Pull request #28503 synchronize by mikebenfield
February 3, 2025 02:39 1h 32m 46s no-examples
no-examples
February 3, 2025 02:39 1h 32m 46s
Remove leo example subcommand. CI #5592: Pull request #28503 opened by mikebenfield
February 3, 2025 02:37 1h 35m 7s no-examples
no-examples
February 3, 2025 02:37 1h 35m 7s
Remove reference to Leo being a functional language in README.md. CI #5591: Pull request #28502 opened by mikebenfield
January 31, 2025 22:40 1h 34m 29s not-functional
not-functional
January 31, 2025 22:40 1h 34m 29s
Cleanup parse_unary_expression. CI #5590: Pull request #28500 synchronize by mikebenfield
January 31, 2025 22:34 1h 34m 30s parse-cleanup
parse-cleanup
January 31, 2025 22:34 1h 34m 30s
Type check negation for unsigned integers. CI #5589: Pull request #28501 synchronize by mikebenfield
January 31, 2025 22:27 1h 33m 29s neg-signed-integer-check
neg-signed-integer-check
January 31, 2025 22:27 1h 33m 29s
Type check negation for unsigned integers. CI #5588: Pull request #28501 opened by mikebenfield
January 31, 2025 20:39 37m 54s neg-signed-integer-check
neg-signed-integer-check
January 31, 2025 20:39 37m 54s
Cleanup parse_unary_expression. CI #5587: Pull request #28500 opened by mikebenfield
January 31, 2025 20:03 38m 17s parse-cleanup
parse-cleanup
January 31, 2025 20:03 38m 17s
Remove CONTRIBUTORS.md and refer to the other repo. CI #5586: Pull request #28499 opened by mikebenfield
January 31, 2025 18:36 1h 34m 27s move-contributors
move-contributors
January 31, 2025 18:36 1h 34m 27s
Correctly parse double negation. CI #5585: Pull request #28497 synchronize by mikebenfield
January 31, 2025 17:34 1h 31m 1s double-negation
double-negation
January 31, 2025 17:34 1h 31m 1s
Copyright message to Provable. CI #5584: Pull request #28498 opened by mikebenfield
January 31, 2025 16:43 1h 34m 50s copyright-provable
copyright-provable
January 31, 2025 16:43 1h 34m 50s
Correctly parse double negation. CI #5583: Pull request #28497 opened by mikebenfield
January 30, 2025 21:34 1h 34m 1s double-negation
double-negation
January 30, 2025 21:34 1h 34m 1s
Remove superfluous lifetime parameters. CI #5582: Pull request #28495 synchronize by mikebenfield
January 30, 2025 00:37 1h 30m 21s remove-lifetimes
remove-lifetimes
January 30, 2025 00:37 1h 30m 21s
Remove group tuple CI #5581: Pull request #28492 synchronize by mikebenfield
January 30, 2025 00:36 1h 30m 38s remove-group-tuple
remove-group-tuple
January 30, 2025 00:36 1h 30m 38s
Remove superfluous lifetime parameters. CI #5580: Pull request #28495 opened by mikebenfield
January 29, 2025 23:01 1h 33m 14s remove-lifetimes
remove-lifetimes
January 29, 2025 23:01 1h 33m 14s
Remove group tuple CI #5579: Pull request #28492 synchronize by mikebenfield
January 29, 2025 21:21 1h 31m 28s remove-group-tuple
remove-group-tuple
January 29, 2025 21:21 1h 31m 28s
Fix up Display implementations for AST nodes. CI #5578: Pull request #28491 synchronize by mikebenfield
January 29, 2025 20:04 1h 31m 27s display-code
display-code
January 29, 2025 20:04 1h 31m 27s
Constant propagation and folding. CI #5577: Pull request #28490 synchronize by mikebenfield
January 28, 2025 22:13 1h 30m 27s const-folding3
const-folding3
January 28, 2025 22:13 1h 30m 27s
Constant propagation and folding. CI #5576: Pull request #28490 synchronize by mikebenfield
January 28, 2025 22:08 32s const-folding3
const-folding3
January 28, 2025 22:08 32s
Constant propagation and folding. CI #5575: Pull request #28490 synchronize by mikebenfield
January 28, 2025 21:34 1h 30m 35s const-folding3
const-folding3
January 28, 2025 21:34 1h 30m 35s
Constant propagation and folding. CI #5574: Pull request #28490 synchronize by mikebenfield
January 28, 2025 21:31 1h 30m 43s const-folding3
const-folding3
January 28, 2025 21:31 1h 30m 43s
Update copyright year to 2025. CI #5573: Pull request #28493 opened by mikebenfield
January 28, 2025 19:21 1h 32m 28s license
license
January 28, 2025 19:21 1h 32m 28s
Remove group tuple CI #5572: Pull request #28492 synchronize by mikebenfield
January 27, 2025 21:36 1h 34m 53s remove-group-tuple
remove-group-tuple
January 27, 2025 21:36 1h 34m 53s