Skip to content

Actions: ProvableHQ/leo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,172 workflow runs
2,172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #28334 from ProvableHQ/update/metadata-and-snarkvm… Mainnet Crates Docs #757: Commit 29d63bf pushed by d0cd
September 4, 2024 21:47 4m 42s mainnet
mainnet
September 4, 2024 21:47 4m 42s
Update license header, Cargo metadata, and snarkVM rev. CI #5297: Pull request #28334 synchronize by d0cd
September 4, 2024 19:43 1h 40m 55s update/metadata-and-snarkvm-rev-9-4-24
update/metadata-and-snarkvm-rev-9-4-24
September 4, 2024 19:43 1h 40m 55s
Update license header, Cargo metadata, and snarkVM rev. CI #5296: Pull request #28334 synchronize by d0cd
September 4, 2024 19:08 1h 1m 14s update/metadata-and-snarkvm-rev-9-4-24
update/metadata-and-snarkvm-rev-9-4-24
September 4, 2024 19:08 1h 1m 14s
Update license header, Cargo metadata, and snarkVM rev. CI #5295: Pull request #28334 opened by d0cd
September 4, 2024 18:59 1h 36m 42s update/metadata-and-snarkvm-rev-9-4-24
update/metadata-and-snarkvm-rev-9-4-24
September 4, 2024 18:59 1h 36m 42s
Update LicenseHeader and Cargo metadata Markdown Compiler #1238: Commit 7dfecd4 pushed by d0cd
September 4, 2024 18:58 1m 1s update/metadata-and-snarkvm-rev-9-4-24
update/metadata-and-snarkvm-rev-9-4-24
September 4, 2024 18:58 1m 1s
[Feature] leo fmt CI #5294: Pull request #28333 opened by d0cd
September 4, 2024 18:38 1h 41m 15s feat/linter
feat/linter
September 4, 2024 18:38 1h 41m 15s
pages build and deployment pages-build-deployment #526: by github-pages bot
September 3, 2024 15:04 29s
September 3, 2024 15:04 29s
Merge pull request #28330 from ungaro/alp/number-of-variables-in-depl… Mainnet Crates Docs #756: Commit 73632ba pushed by d0cd
September 3, 2024 15:03 1m 13s mainnet
mainnet
September 3, 2024 15:03 1m 13s
Merge pull request #28330 from ungaro/alp/number-of-variables-in-depl… Code Coverage #473: Commit 73632ba pushed by d0cd
September 3, 2024 15:03 1h 35m 19s mainnet
mainnet
September 3, 2024 15:03 1h 35m 19s
[Feature] Add deployment summary with comma-formatted variables and constraints counts. CI #5293: Pull request #28330 reopened by d0cd
September 3, 2024 15:03 1h 3m 12s ungaro:alp/number-of-variables-in-deployment
ungaro:alp/number-of-variables-in-deployment
September 3, 2024 15:03 1h 3m 12s
pages build and deployment pages-build-deployment #525: by github-pages bot
August 30, 2024 14:48 29s
August 30, 2024 14:48 29s
Merge pull request #28329 from ProvableHQ/dependabot/cargo/mainnet/se… Code Coverage #472: Commit 0fdf601 pushed by d0cd
August 30, 2024 14:46 1h 41m 45s mainnet
mainnet
August 30, 2024 14:46 1h 41m 45s
Merge pull request #28329 from ProvableHQ/dependabot/cargo/mainnet/se… Mainnet Crates Docs #755: Commit 0fdf601 pushed by d0cd
August 30, 2024 14:46 3m 39s mainnet
mainnet
August 30, 2024 14:46 3m 39s
[Feature] Add deployment summary with comma-formatted variables and constraints counts. CI #5292: Pull request #28330 synchronize by ungaro
August 27, 2024 00:53 1h 38m 37s ungaro:alp/number-of-variables-in-deployment
ungaro:alp/number-of-variables-in-deployment
August 27, 2024 00:53 1h 38m 37s
Bump serde from 1.0.208 to 1.0.209 CI #5289: Pull request #28329 opened by dependabot bot
August 26, 2024 11:02 1h 40m 47s dependabot/cargo/mainnet/serde-1.0.209
dependabot/cargo/mainnet/serde-1.0.209
August 26, 2024 11:02 1h 40m 47s
pages build and deployment pages-build-deployment #524: by github-pages bot
August 23, 2024 15:06 27s
August 23, 2024 15:06 27s
Merge pull request #28326 from ungaro/alp/error-formatting-improvements Mainnet Crates Docs #754: Commit b218a22 pushed by d0cd
August 23, 2024 15:05 1m 12s mainnet
mainnet
August 23, 2024 15:05 1m 12s
Merge pull request #28326 from ungaro/alp/error-formatting-improvements Code Coverage #471: Commit b218a22 pushed by d0cd
August 23, 2024 15:05 1h 38m 10s mainnet
mainnet
August 23, 2024 15:05 1h 38m 10s
pages build and deployment pages-build-deployment #523: by github-pages bot
August 23, 2024 04:55 24s
August 23, 2024 04:55 24s
Merge pull request #28323 from Meshiest/fix-account-sign-seed Mainnet Crates Docs #753: Commit b485251 pushed by d0cd
August 23, 2024 04:53 1m 25s mainnet
mainnet
August 23, 2024 04:53 1m 25s
Merge pull request #28323 from Meshiest/fix-account-sign-seed Code Coverage #470: Commit b485251 pushed by d0cd
August 23, 2024 04:53 1h 34m 23s mainnet
mainnet
August 23, 2024 04:53 1h 34m 23s
small error formatting improvements CI #5287: Pull request #28326 synchronize by ungaro
August 18, 2024 16:21 1h 34m 44s ungaro:alp/error-formatting-improvements
ungaro:alp/error-formatting-improvements
August 18, 2024 16:21 1h 34m 44s
pages build and deployment pages-build-deployment #522: by github-pages bot
August 16, 2024 15:14 28s
August 16, 2024 15:14 28s
pages build and deployment pages-build-deployment #521: by github-pages bot
August 16, 2024 15:14 12s
August 16, 2024 15:14 12s
Merge pull request #28324 from ProvableHQ/dependabot/cargo/mainnet/cl… Mainnet Crates Docs #752: Commit 434e220 pushed by d0cd
August 16, 2024 15:13 4m 23s mainnet
mainnet
August 16, 2024 15:13 4m 23s