Skip to content

Actions: ProvableHQ/leo

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Restructure Definitions and Assigns in preparation for writing to arr… CI #5626: Pull request #28526 synchronize by mikebenfield
March 12, 2025 22:41 38m 20s restructure-defs-public
restructure-defs-public
March 12, 2025 22:41 38m 20s
Restructure Definitions and Assigns in preparation for writing to arr… CI #5625: Pull request #28526 opened by mikebenfield
March 12, 2025 20:09 39m 24s restructure-defs-public
restructure-defs-public
March 12, 2025 20:09 39m 24s
pages build and deployment pages-build-deployment #598: by github-pages bot
March 11, 2025 21:11 25s gh-pages
gh-pages
March 11, 2025 21:11 25s
Properly type check return statements without a value. Mainnet Crates Docs #854: Commit bfd7507 pushed by mikebenfield
March 11, 2025 21:10 1m 36s mainnet
mainnet
March 11, 2025 21:10 1m 36s
Properly type check return statements without a value. Code Coverage #571: Commit bfd7507 pushed by mikebenfield
March 11, 2025 21:10 1h 30m 45s mainnet
mainnet
March 11, 2025 21:10 1h 30m 45s
Very simple revamp of dead code elimination. CI #5624: Pull request #28507 synchronize by mikebenfield
March 11, 2025 17:58 1h 30m 45s dead-code-class
dead-code-class
March 11, 2025 17:58 1h 30m 45s
Properly type check return statements without a value. CI #5623: Pull request #28525 opened by mikebenfield
March 10, 2025 18:31 1h 33m 30s return-unit-bug
return-unit-bug
March 10, 2025 18:31 1h 33m 30s
docs: replaced the link to the shield CI #5622: Pull request #28524 opened by braveocheretovych
March 10, 2025 15:08 Action required braveocheretovych:patch-1
braveocheretovych:patch-1
March 10, 2025 15:08 Action required
Very simple revamp of dead code elimination. CI #5621: Pull request #28507 synchronize by mikebenfield
March 7, 2025 00:50 35m 18s dead-code-class
dead-code-class
March 7, 2025 00:50 35m 18s
Very simple revamp of dead code elimination. CI #5620: Pull request #28507 synchronize by mikebenfield
March 7, 2025 00:33 35m 10s dead-code-class
dead-code-class
March 7, 2025 00:33 35m 10s
Very simple revamp of dead code elimination. CI #5619: Pull request #28507 synchronize by mikebenfield
March 6, 2025 22:33 1h 30m 42s dead-code-class
dead-code-class
March 6, 2025 22:33 1h 30m 42s
Very simple revamp of dead code elimination. CI #5618: Pull request #28507 synchronize by mikebenfield
March 6, 2025 22:32 1h 30m 43s dead-code-class
dead-code-class
March 6, 2025 22:32 1h 30m 43s
pages build and deployment pages-build-deployment #597: by github-pages bot
March 6, 2025 21:26 22s gh-pages
gh-pages
March 6, 2025 21:26 22s
More constant propagation and folding. Code Coverage #570: Commit cfb9d57 pushed by mikebenfield
March 6, 2025 21:24 1h 34m 41s mainnet
mainnet
March 6, 2025 21:24 1h 34m 41s
More constant propagation and folding. Mainnet Crates Docs #853: Commit cfb9d57 pushed by mikebenfield
March 6, 2025 21:24 1m 43s mainnet
mainnet
March 6, 2025 21:24 1m 43s
Add more verbose output for leo execute CI #5617: Pull request #28522 opened by alexanderkim11
March 6, 2025 21:19 Action required alexanderkim11:mainnet
alexanderkim11:mainnet
March 6, 2025 21:19 Action required
pages build and deployment pages-build-deployment #596: by github-pages bot
March 6, 2025 19:52 26s gh-pages
gh-pages
March 6, 2025 19:52 26s
Remove two dead links Mainnet Crates Docs #852: Commit 258a378 pushed by mikebenfield
March 6, 2025 19:50 1m 38s mainnet
mainnet
March 6, 2025 19:50 1m 38s
Remove two dead links Code Coverage #569: Commit 258a378 pushed by mikebenfield
March 6, 2025 19:50 1h 34m 31s mainnet
mainnet
March 6, 2025 19:50 1h 34m 31s
More constant propagation and folding. CI #5616: Pull request #28520 synchronize by mikebenfield
March 6, 2025 17:23 1h 31m 12s expand-const-prop
expand-const-prop
March 6, 2025 17:23 1h 31m 12s
More constant propagation and folding. CI #5615: Pull request #28520 synchronize by mikebenfield
March 6, 2025 17:21 1h 31m 13s expand-const-prop
expand-const-prop
March 6, 2025 17:21 1h 31m 13s
Update homepage link CI #5614: Pull request #28510 synchronize by rubdos
March 6, 2025 14:39 1h 31m 2s rubdos:404
rubdos:404
March 6, 2025 14:39 1h 31m 2s
More constant propagation and folding. CI #5613: Pull request #28520 synchronize by mikebenfield
March 4, 2025 23:28 1h 31m 38s expand-const-prop
expand-const-prop
March 4, 2025 23:28 1h 31m 38s
More constant propagation and folding. CI #5612: Pull request #28520 synchronize by mikebenfield
March 4, 2025 22:35 35m 13s expand-const-prop
expand-const-prop
March 4, 2025 22:35 35m 13s
More constant propagation and folding. CI #5611: Pull request #28520 opened by mikebenfield
March 4, 2025 00:25 1h 35m 50s expand-const-prop
expand-const-prop
March 4, 2025 00:25 1h 35m 50s