Skip to content

Actions: ProvableHQ/leo

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #653: by github-pages bot
June 4, 2025 18:54 37s gh-pages
June 4, 2025 18:54 37s
Bring back conflicts_all_all but inside the group "mode" and fix so…
Mainnet Crates Docs #914: Commit 5afe4a6 pushed by mohammadfawaz
June 4, 2025 18:53 55s mainnet
June 4, 2025 18:53 55s
pages build and deployment
pages-build-deployment #652: by github-pages bot
June 4, 2025 14:10 1m 44s gh-pages
June 4, 2025 14:10 1m 44s
Merge pull request #28601 from ProvableHQ/feat/cli-improvements
Mainnet Crates Docs #913: Commit d758dea pushed by d0cd
June 4, 2025 14:09 1m 15s mainnet
June 4, 2025 14:09 1m 15s
Code Coverage
Code Coverage #623: Scheduled
June 1, 2025 15:01 2h 4m 46s mainnet
June 1, 2025 15:01 2h 4m 46s
pages build and deployment
pages-build-deployment #651: by github-pages bot
May 29, 2025 17:53 39s gh-pages
May 29, 2025 17:53 39s
pages build and deployment
pages-build-deployment #650: by github-pages bot
May 29, 2025 17:52 30s gh-pages
May 29, 2025 17:52 30s
fix(cli): correct URL for stateroot
Mainnet Crates Docs #912: Commit 913edb3 pushed by mikebenfield
May 29, 2025 17:52 59s mainnet
May 29, 2025 17:52 59s
Small fixes to errors.
Mainnet Crates Docs #911: Commit 82012ce pushed by mikebenfield
May 29, 2025 17:51 1m 4s mainnet
May 29, 2025 17:51 1m 4s
Leo Release
Leo Release #123: Manually run by mikebenfield
May 27, 2025 21:04 22m 50s mainnet
May 27, 2025 21:04 22m 50s
Leo Release
Leo Release #122: Manually run by mikebenfield
May 27, 2025 20:34 22m 26s mainnet
May 27, 2025 20:34 22m 26s
pages build and deployment
pages-build-deployment #649: by github-pages bot
May 27, 2025 20:08 26s gh-pages
May 27, 2025 20:08 26s
Version bump to 2.6.1
Mainnet Crates Docs #910: Commit 45536b3 pushed by mikebenfield
May 27, 2025 20:07 1m 36s mainnet
May 27, 2025 20:07 1m 36s
pages build and deployment
pages-build-deployment #648: by github-pages bot
May 27, 2025 19:04 33s gh-pages
May 27, 2025 19:04 33s
Allow external record assignment.
Mainnet Crates Docs #909: Commit c0ab5c8 pushed by mikebenfield
May 27, 2025 19:03 1m 5s mainnet
May 27, 2025 19:03 1m 5s
Code Coverage
Code Coverage #622: Scheduled
May 25, 2025 15:01 2h 3m 27s mainnet
May 25, 2025 15:01 2h 3m 27s
pages build and deployment
pages-build-deployment #647: by github-pages bot
May 24, 2025 04:18 31s gh-pages
May 24, 2025 04:18 31s
Clone all internal record inputs as outputs.
Mainnet Crates Docs #908: Commit 13e9547 pushed by mikebenfield
May 24, 2025 04:17 50s mainnet
May 24, 2025 04:17 50s
pages build and deployment
pages-build-deployment #646: by github-pages bot
May 23, 2025 22:25 26s gh-pages
May 23, 2025 22:25 26s
type inference for loop iterators
Mainnet Crates Docs #907: Commit 2fdad2f pushed by mohammadfawaz
May 23, 2025 22:24 1m 5s mainnet
May 23, 2025 22:24 1m 5s
pages build and deployment
pages-build-deployment #645: by github-pages bot
May 23, 2025 20:57 28s gh-pages
May 23, 2025 20:57 28s
Remove old code related to const folding.
Mainnet Crates Docs #906: Commit 9210ee9 pushed by mikebenfield
May 23, 2025 20:56 50s mainnet
May 23, 2025 20:56 50s
codecov runs only weekly, not on push or with PRs
Mainnet Crates Docs #905: Commit ebeb4c1 pushed by mikebenfield
May 22, 2025 22:29 52s mainnet
May 22, 2025 22:29 52s
pages build and deployment
pages-build-deployment #644: by github-pages bot
May 22, 2025 22:29 29s gh-pages
May 22, 2025 22:29 29s
Use rayon to parallelize test case runs.
Mainnet Crates Docs #904: Commit 211fcc3 pushed by mikebenfield
May 22, 2025 22:28 1m 8s mainnet
May 22, 2025 22:28 1m 8s