Skip to content

Actions: ProvableHQ/leo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,733 workflow runs
1,733 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revamp dead code elimination. CI #5601: Pull request #28506 synchronize by mikebenfield
February 7, 2025 01:03 1h 34m 42s dead-code
dead-code
February 7, 2025 01:03 1h 34m 42s
Revamp dead code elimination. CI #5600: Pull request #28506 synchronize by mikebenfield
February 6, 2025 23:52 37m 50s dead-code
dead-code
February 6, 2025 23:52 37m 50s
Revamp dead code elimination. CI #5599: Pull request #28506 synchronize by mikebenfield
February 6, 2025 23:49 37m 8s dead-code
dead-code
February 6, 2025 23:49 37m 8s
Revamp dead code elimination. CI #5598: Pull request #28506 opened by mikebenfield
February 6, 2025 23:45 9m 12s dead-code
dead-code
February 6, 2025 23:45 9m 12s
Change references to AleoHQ to ProvableHQ. CI #5597: Pull request #28505 opened by mikebenfield
February 6, 2025 21:33 1h 34m 1s provable-hq-name
provable-hq-name
February 6, 2025 21:33 1h 34m 1s
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
pages build and deployment pages-build-deployment #591: by github-pages bot
February 3, 2025 19:05 26s gh-pages
gh-pages
February 3, 2025 19:05 26s
pages build and deployment pages-build-deployment #590: by github-pages bot
February 3, 2025 19:04 30s gh-pages
gh-pages
February 3, 2025 19:04 30s
Cleanup parse_unary_expression. Code Coverage #564: Commit d2677de pushed by mikebenfield
February 3, 2025 19:03 1h 30m 7s mainnet
mainnet
February 3, 2025 19:03 1h 30m 7s
Cleanup parse_unary_expression. Mainnet Crates Docs #847: Commit d2677de pushed by mikebenfield
February 3, 2025 19:03 1m 46s mainnet
mainnet
February 3, 2025 19:03 1m 46s
pages build and deployment pages-build-deployment #589: by github-pages bot
February 3, 2025 19:02 28s gh-pages
gh-pages
February 3, 2025 19:02 28s
Type check negation for unsigned integers. Code Coverage #563: Commit 2af05b1 pushed by mikebenfield
February 3, 2025 19:02 1h 31m 6s mainnet
mainnet
February 3, 2025 19:02 1h 31m 6s
Type check negation for unsigned integers. Mainnet Crates Docs #846: Commit 2af05b1 pushed by mikebenfield
February 3, 2025 19:02 1m 40s mainnet
mainnet
February 3, 2025 19:02 1m 40s
Remove reference to Leo being a functional language in README.md. Mainnet Crates Docs #845: Commit 7895667 pushed by mikebenfield
February 3, 2025 19:01 1m 39s mainnet
mainnet
February 3, 2025 19:01 1m 39s
Remove reference to Leo being a functional language in README.md. Code Coverage #562: Commit 7895667 pushed by mikebenfield
February 3, 2025 19:01 1h 30m 16s mainnet
mainnet
February 3, 2025 19:01 1h 30m 16s
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
pages build and deployment pages-build-deployment #588: by github-pages bot
January 31, 2025 20:00 23s gh-pages
gh-pages
January 31, 2025 20:00 23s