Skip to content

Actions: ProvableHQ/leo

Actions

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

Disallow some illegal names CI #5880: Pull request #28629 synchronize by mohammadfawaz
May 21, 2025 16:37 2h 4m 33s mohammadfawaz/illegal_names
mohammadfawaz/illegal_names
May 21, 2025 16:37 2h 4m 33s
pages build and deployment pages-build-deployment #637: by github-pages bot
May 21, 2025 16:10 33s gh-pages
gh-pages
May 21, 2025 16:10 33s
Disallow some illegal names CI #5879: Pull request #28629 synchronize by mohammadfawaz
May 21, 2025 16:09 2h 3m 51s mohammadfawaz/illegal_names
mohammadfawaz/illegal_names
May 21, 2025 16:09 2h 3m 51s
Basic type inference Mainnet Crates Docs #896: Commit 67cead2 pushed by mohammadfawaz
May 21, 2025 16:09 57s mainnet
mainnet
May 21, 2025 16:09 57s
Basic type inference Code Coverage #613: Commit 67cead2 pushed by mohammadfawaz
May 21, 2025 16:09 2h 4m 4s mainnet
mainnet
May 21, 2025 16:09 2h 4m 4s
Disallow some illegal names CI #5878: Pull request #28629 synchronize by mohammadfawaz
May 21, 2025 15:58 2h 3m 48s mohammadfawaz/illegal_names
mohammadfawaz/illegal_names
May 21, 2025 15:58 2h 3m 48s
Disallow some illegal names CI #5877: Pull request #28629 opened by mohammadfawaz
May 21, 2025 15:47 2h 3m 54s mohammadfawaz/illegal_names
mohammadfawaz/illegal_names
May 21, 2025 15:47 2h 3m 54s
fn next_register in CodeGeneratingVisitor. CI #5876: Pull request #28622 synchronize by mikebenfield
May 21, 2025 15:06 2h 2m 30s codegen-next-register
codegen-next-register
May 21, 2025 15:06 2h 2m 30s
pages build and deployment pages-build-deployment #636: by github-pages bot
May 21, 2025 15:05 31s gh-pages
gh-pages
May 21, 2025 15:05 31s
snarkVM can't handle duplicate outputs, or internal record outputs Mainnet Crates Docs #895: Commit e9c86d6 pushed by mikebenfield
May 21, 2025 15:04 55s mainnet
mainnet
May 21, 2025 15:04 55s
snarkVM can't handle duplicate outputs, or internal record outputs Code Coverage #612: Commit e9c86d6 pushed by mikebenfield
May 21, 2025 15:04 2h 0m 59s mainnet
mainnet
May 21, 2025 15:04 2h 0m 59s
[Feature] Type inference for variables CI #5875: Pull request #28625 synchronize by mohammadfawaz
May 21, 2025 14:18 1h 53m 21s mohammadfawaz/28621
mohammadfawaz/28621
May 21, 2025 14:18 1h 53m 21s
[Feature] Type inference for variables CI #5874: Pull request #28625 synchronize by mohammadfawaz
May 21, 2025 14:11 41m 31s mohammadfawaz/28621
mohammadfawaz/28621
May 21, 2025 14:11 41m 31s
[Feature] Type inference for variables CI #5873: Pull request #28625 synchronize by mohammadfawaz
May 21, 2025 14:06 41m 57s mohammadfawaz/28621
mohammadfawaz/28621
May 21, 2025 14:06 41m 57s
[Feature] Type inference for variables CI #5872: Pull request #28625 synchronize by mohammadfawaz
May 21, 2025 14:02 41m 36s mohammadfawaz/28621
mohammadfawaz/28621
May 21, 2025 14:02 41m 36s
fn next_register in CodeGeneratingVisitor. CI #5871: Pull request #28622 synchronize by mikebenfield
May 21, 2025 04:05 2h 5m 16s codegen-next-register
codegen-next-register
May 21, 2025 04:05 2h 5m 16s
snarkVM can't handle duplicate outputs, or record outputs which were received as inputs. CI #5870: Pull request #28603 synchronize by mikebenfield
May 21, 2025 04:03 2h 3m 32s fix-outputs
fix-outputs
May 21, 2025 04:03 2h 3m 32s
pages build and deployment pages-build-deployment #635: by github-pages bot
May 21, 2025 03:22 33s gh-pages
gh-pages
May 21, 2025 03:22 33s
Remove the --enable-dce option. Code Coverage #611: Commit e5a69c7 pushed by mikebenfield
May 21, 2025 03:21 1h 54m 22s mainnet
mainnet
May 21, 2025 03:21 1h 54m 22s
Remove the --enable-dce option. Mainnet Crates Docs #894: Commit e5a69c7 pushed by mikebenfield
May 21, 2025 03:21 1m 1s mainnet
mainnet
May 21, 2025 03:21 1m 1s
pages build and deployment pages-build-deployment #634: by github-pages bot
May 21, 2025 03:20 29s gh-pages
gh-pages
May 21, 2025 03:20 29s
script should be able to use finalize ops Mainnet Crates Docs #893: Commit 0ac8a24 pushed by mikebenfield
May 21, 2025 03:19 48s mainnet
mainnet
May 21, 2025 03:19 48s
script should be able to use finalize ops Code Coverage #610: Commit 0ac8a24 pushed by mikebenfield
May 21, 2025 03:19 1h 52m 14s mainnet
mainnet
May 21, 2025 03:19 1h 52m 14s
Overhaul leo::{deploy, execute} CI #5869: Pull request #28601 synchronize by d0cd
May 20, 2025 23:49 1h 53m 40s feat/cli-improvements
feat/cli-improvements
May 20, 2025 23:49 1h 53m 40s
fn next_register in CodeGeneratingVisitor. CI #5868: Pull request #28622 synchronize by mikebenfield
May 20, 2025 22:55 48m 13s codegen-next-register
codegen-next-register
May 20, 2025 22:55 48m 13s