Skip to content

Actions: ProvableHQ/leo

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #28455 from ProvableHQ/fix/release-ci-linux-musl Mainnet Crates Docs #816: Commit 808ad5f pushed by d0cd
November 20, 2024 01:01 1m 50s mainnet
mainnet
November 20, 2024 01:01 1m 50s
Merge pull request #28455 from ProvableHQ/fix/release-ci-linux-musl Code Coverage #533: Commit 808ad5f pushed by d0cd
November 20, 2024 01:01 1h 30m 58s mainnet
mainnet
November 20, 2024 01:01 1h 30m 58s
[Fix] Musl CI CI #5457: Pull request #28455 opened by d0cd
November 20, 2024 01:01 1h 34m 5s fix/release-ci-linux-musl
fix/release-ci-linux-musl
November 20, 2024 01:01 1h 34m 5s
Leo Release Leo Release #102: Manually run by d0cd
November 20, 2024 00:56 4m 49s mainnet
mainnet
November 20, 2024 00:56 4m 49s
Merge pull request #28454 from ProvableHQ/fix/release-ci-linux-musl Mainnet Crates Docs #815: Commit d4d5319 pushed by d0cd
November 20, 2024 00:55 1m 45s mainnet
mainnet
November 20, 2024 00:55 1m 45s
Merge pull request #28454 from ProvableHQ/fix/release-ci-linux-musl Code Coverage #532: Commit d4d5319 pushed by d0cd
November 20, 2024 00:55 1h 30m 39s mainnet
mainnet
November 20, 2024 00:55 1h 30m 39s
[Fix] Ensure toolchain is set. CI #5456: Pull request #28454 opened by d0cd
November 20, 2024 00:55 1h 34m 33s fix/release-ci-linux-musl
fix/release-ci-linux-musl
November 20, 2024 00:55 1h 34m 33s
pages build and deployment pages-build-deployment #560: by github-pages bot
November 20, 2024 00:49 26s gh-pages
gh-pages
November 20, 2024 00:49 26s
Leo Release Leo Release #101: Manually run by d0cd
November 20, 2024 00:48 7m 25s mainnet
mainnet
November 20, 2024 00:48 7m 25s
Merge pull request #28453 from ProvableHQ/fix/release-ci-linux-musl Code Coverage #531: Commit af5666d pushed by d0cd
November 20, 2024 00:47 1h 30m 5s mainnet
mainnet
November 20, 2024 00:47 1h 30m 5s
Merge pull request #28453 from ProvableHQ/fix/release-ci-linux-musl Mainnet Crates Docs #814: Commit af5666d pushed by d0cd
November 20, 2024 00:47 1m 29s mainnet
mainnet
November 20, 2024 00:47 1m 29s
[Fix] Another attempt at ensuring the correct target is downloaded. CI #5455: Pull request #28453 opened by d0cd
November 20, 2024 00:46 1h 34m 30s fix/release-ci-linux-musl
fix/release-ci-linux-musl
November 20, 2024 00:46 1h 34m 30s
pages build and deployment pages-build-deployment #559: by github-pages bot
November 20, 2024 00:45 31s gh-pages
gh-pages
November 20, 2024 00:45 31s
Leo Release Leo Release #100: Manually run by d0cd
November 20, 2024 00:44 1m 48s mainnet
mainnet
November 20, 2024 00:44 1m 48s
Merge pull request #28452 from ProvableHQ/fix/release-ci-linux-musl Code Coverage #530: Commit ed61457 pushed by d0cd
November 20, 2024 00:44 1h 30m 20s mainnet
mainnet
November 20, 2024 00:44 1h 30m 20s
Merge pull request #28452 from ProvableHQ/fix/release-ci-linux-musl Mainnet Crates Docs #813: Commit ed61457 pushed by d0cd
November 20, 2024 00:44 1m 47s mainnet
mainnet
November 20, 2024 00:44 1m 47s
[Fix] Ensure that linux-musl is downloaded. CI #5454: Pull request #28452 opened by d0cd
November 20, 2024 00:43 1h 34m 18s fix/release-ci-linux-musl
fix/release-ci-linux-musl
November 20, 2024 00:43 1h 34m 18s
pages build and deployment pages-build-deployment #558: by github-pages bot
November 20, 2024 00:36 30s gh-pages
gh-pages
November 20, 2024 00:36 30s
Leo Release Leo Release #99: Manually run by d0cd
November 20, 2024 00:34 4m 46s mainnet
mainnet
November 20, 2024 00:34 4m 46s
Merge pull request #28451 from ProvableHQ/fix/release-ci-linux-musl Code Coverage #529: Commit 8de9b3a pushed by d0cd
November 20, 2024 00:34 1h 30m 28s mainnet
mainnet
November 20, 2024 00:34 1h 30m 28s
Merge pull request #28451 from ProvableHQ/fix/release-ci-linux-musl Mainnet Crates Docs #812: Commit 8de9b3a pushed by d0cd
November 20, 2024 00:34 1m 31s mainnet
mainnet
November 20, 2024 00:34 1m 31s
[Fix] Rust image for Linux musl CI #5453: Pull request #28451 opened by d0cd
November 20, 2024 00:21 1h 33m 26s fix/release-ci-linux-musl
fix/release-ci-linux-musl
November 20, 2024 00:21 1h 33m 26s
pages build and deployment pages-build-deployment #557: by github-pages bot
November 20, 2024 00:08 27s gh-pages
gh-pages
November 20, 2024 00:08 27s
chore(leo): bump version for new release Leo Release #98: Commit cc12117 pushed by d0cd
November 20, 2024 00:06 19m 41s v2.3.1
v2.3.1
November 20, 2024 00:06 19m 41s
chore(leo): bump version for new release Code Coverage #528: Commit cc12117 pushed by d0cd
November 20, 2024 00:06 1h 33m 38s mainnet
mainnet
November 20, 2024 00:06 1h 33m 38s