Skip to content

Actions: ProvableHQ/leo

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
Very simple revamp of dead code elimination. CI #5610: Pull request #28507 synchronize by mikebenfield
February 20, 2025 20:03 1h 33m 12s dead-code-class
dead-code-class
February 20, 2025 20:03 1h 33m 12s
Update homepage link CI #5609: Pull request #28510 opened by rubdos
February 20, 2025 10:10 1h 34m 51s rubdos:404
rubdos:404
February 20, 2025 10:10 1h 34m 51s
pages build and deployment pages-build-deployment #595: by github-pages bot
February 18, 2025 20:59 25s gh-pages
gh-pages
February 18, 2025 20:59 25s
docs: remove extraneous '$' from cargo install command in instructions Mainnet Crates Docs #851: Commit 47f6a0e pushed by mikebenfield
February 18, 2025 20:58 1m 36s mainnet
mainnet
February 18, 2025 20:58 1m 36s
docs: remove extraneous '$' from cargo install command in instructions Code Coverage #568: Commit 47f6a0e pushed by mikebenfield
February 18, 2025 20:58 1h 30m 0s mainnet
mainnet
February 18, 2025 20:58 1h 30m 0s