Skip to content

Actions: ProvableHQ/leo

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: typos in panic function and comments (#28636)
Code Coverage #618: Commit fcd852f pushed by mohammadfawaz
May 22, 2025 15:00 2h 2m 6s mainnet
May 22, 2025 15:00 2h 2m 6s
fix: typos in panic function and comments (#28636)
Mainnet Crates Docs #901: Commit fcd852f pushed by mohammadfawaz
May 22, 2025 15:00 53s mainnet
May 22, 2025 15:00 53s
fix: typos in panic function and comments
CI #5889: Pull request #28636 opened by crStiv
May 22, 2025 00:23 2h 5m 25s crStiv:typo
May 22, 2025 00:23 2h 5m 25s
pages build and deployment
pages-build-deployment #641: by github-pages bot
May 21, 2025 23:33 28s gh-pages
May 21, 2025 23:33 28s
Leo Release
Leo Release #119: Manually run by mikebenfield
May 21, 2025 23:32 22m 51s mainnet
May 21, 2025 23:32 22m 51s
Update release.yml
Mainnet Crates Docs #900: Commit bb2a807 pushed by mikebenfield
May 21, 2025 23:32 52s mainnet
May 21, 2025 23:32 52s
Update release.yml
Code Coverage #617: Commit bb2a807 pushed by mikebenfield
May 21, 2025 23:32 2h 5m 26s mainnet
May 21, 2025 23:32 2h 5m 26s
Use rayon to parallelize test case runs.
CI #5888: Pull request #28594 synchronize by mikebenfield
May 21, 2025 23:27 46m 11s test-threads
May 21, 2025 23:27 46m 11s
pages build and deployment
pages-build-deployment #640: by github-pages bot
May 21, 2025 22:11 27s gh-pages
May 21, 2025 22:11 27s
Version bump to 2.6.0 and prep for release.
Code Coverage #616: Commit bb85253 pushed by mikebenfield
May 21, 2025 22:09 2h 5m 28s mainnet
May 21, 2025 22:09 2h 5m 28s
Version bump to 2.6.0 and prep for release.
Mainnet Crates Docs #899: Commit bb85253 pushed by mikebenfield
May 21, 2025 22:09 1m 50s mainnet
May 21, 2025 22:09 1m 50s
Update release.yml
CI #5887: Pull request #28634 opened by mikebenfield
May 21, 2025 22:07 2h 4m 36s mikebenfield-patch-1
May 21, 2025 22:07 2h 4m 36s
Leo Release
Leo Release #118: Manually run by mikebenfield
May 21, 2025 21:03 22m 7s mainnet
May 21, 2025 21:03 22m 7s
Version bump to 2.6.0 and prep for release.
CI #5886: Pull request #28632 synchronize by mikebenfield
May 21, 2025 19:49 2h 4m 10s release260
May 21, 2025 19:49 2h 4m 10s
pages build and deployment
pages-build-deployment #639: by github-pages bot
May 21, 2025 19:03 29s gh-pages
May 21, 2025 19:03 29s
Disallow some illegal names
Mainnet Crates Docs #898: Commit f557966 pushed by mohammadfawaz
May 21, 2025 19:02 1m 0s mainnet
May 21, 2025 19:02 1m 0s
Disallow some illegal names
Code Coverage #615: Commit f557966 pushed by mohammadfawaz
May 21, 2025 19:02 2h 0m 37s mainnet
May 21, 2025 19:02 2h 0m 37s
Version bump to 2.6.0 and prep for release.
CI #5885: Pull request #28632 synchronize by mikebenfield
May 21, 2025 18:34 2h 7m 16s release260
May 21, 2025 18:34 2h 7m 16s
Disallow some illegal names
CI #5884: Pull request #28629 synchronize by mohammadfawaz
May 21, 2025 18:18 2h 1m 32s mohammadfawaz/illegal_names
May 21, 2025 18:18 2h 1m 32s
pages build and deployment
pages-build-deployment #638: by github-pages bot
May 21, 2025 17:41 27s gh-pages
May 21, 2025 17:41 27s
fn next_register in CodeGeneratingVisitor.
Mainnet Crates Docs #897: Commit 844abc4 pushed by mikebenfield
May 21, 2025 17:40 55s mainnet
May 21, 2025 17:40 55s
fn next_register in CodeGeneratingVisitor.
Code Coverage #614: Commit 844abc4 pushed by mikebenfield
May 21, 2025 17:40 2h 0m 26s mainnet
May 21, 2025 17:40 2h 0m 26s
Version bump to 2.6.0 and prep for release.
CI #5883: Pull request #28632 opened by mikebenfield
May 21, 2025 16:54 49m 4s release260
May 21, 2025 16:54 49m 4s
Disallow some illegal names
CI #5882: Pull request #28629 synchronize by mohammadfawaz
May 21, 2025 16:38 2h 3m 44s mohammadfawaz/illegal_names
May 21, 2025 16:38 2h 3m 44s
Disallow some illegal names
CI #5881: Pull request #28629 synchronize by mohammadfawaz
May 21, 2025 16:38 2h 3m 31s mohammadfawaz/illegal_names
May 21, 2025 16:38 2h 3m 31s