Skip to content

Actions: ProvableHQ/leo

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 #28460 from ProvableHQ/fix/release-ci-linux-musl
Code Coverage #538: Commit 3906c9a pushed by d0cd
November 20, 2024 04:38 1h 30m 54s mainnet
November 20, 2024 04:38 1h 30m 54s
Merge pull request #28460 from ProvableHQ/fix/release-ci-linux-musl
Mainnet Crates Docs #821: Commit 3906c9a pushed by d0cd
November 20, 2024 04:38 1m 39s mainnet
November 20, 2024 04:38 1m 39s
[Hotfix] Temporary for Linux musl release.
CI #5462: Pull request #28460 opened by d0cd
November 20, 2024 04:38 1h 33m 58s fix/release-ci-linux-musl
November 20, 2024 04:38 1h 33m 58s
pages build and deployment
pages-build-deployment #564: by github-pages bot
November 20, 2024 04:17 28s gh-pages
November 20, 2024 04:17 28s
Leo Release
Leo Release #108: Manually run by d0cd
November 20, 2024 04:16 18m 57s mainnet
November 20, 2024 04:16 18m 57s
Merge pull request #28459 from ProvableHQ/fix/release-ci-linux-musl
Code Coverage #537: Commit 23a8066 pushed by d0cd
November 20, 2024 04:16 1h 30m 9s mainnet
November 20, 2024 04:16 1h 30m 9s
Merge pull request #28459 from ProvableHQ/fix/release-ci-linux-musl
Mainnet Crates Docs #820: Commit 23a8066 pushed by d0cd
November 20, 2024 04:16 1m 46s mainnet
November 20, 2024 04:16 1m 46s
[Fix] Checkout correctly and optionally select tag
CI #5461: Pull request #28459 opened by d0cd
November 20, 2024 04:16 1h 33m 57s fix/release-ci-linux-musl
November 20, 2024 04:16 1h 33m 57s
pages build and deployment
pages-build-deployment #563: by github-pages bot
November 20, 2024 01:25 31s gh-pages
November 20, 2024 01:25 31s
Leo Release
Leo Release #107: Manually run by d0cd
November 20, 2024 01:24 26m 37s mainnet
November 20, 2024 01:24 26m 37s
Merge pull request #28458 from ProvableHQ/fix/release-ci-linux-musl
Code Coverage #536: Commit d4651d5 pushed by d0cd
November 20, 2024 01:23 1h 31m 7s mainnet
November 20, 2024 01:23 1h 31m 7s
Merge pull request #28458 from ProvableHQ/fix/release-ci-linux-musl
Mainnet Crates Docs #819: Commit d4651d5 pushed by d0cd
November 20, 2024 01:23 1m 39s mainnet
November 20, 2024 01:23 1m 39s
[Feat] Add tag dispatch to CI
CI #5460: Pull request #28458 opened by d0cd
November 20, 2024 01:23 1h 33m 37s fix/release-ci-linux-musl
November 20, 2024 01:23 1h 33m 37s
pages build and deployment
pages-build-deployment #562: by github-pages bot
November 20, 2024 01:22 34s gh-pages
November 20, 2024 01:22 34s
Leo Release
Leo Release #106: Manually run by d0cd
November 20, 2024 01:20 4m 4s mainnet
November 20, 2024 01:20 4m 4s
Merge pull request #28457 from ProvableHQ/fix/release-ci-linux-musl
Mainnet Crates Docs #818: Commit 8a8f565 pushed by d0cd
November 20, 2024 01:20 1m 47s mainnet
November 20, 2024 01:20 1m 47s
Merge pull request #28457 from ProvableHQ/fix/release-ci-linux-musl
Code Coverage #535: Commit 8a8f565 pushed by d0cd
November 20, 2024 01:20 1h 30m 44s mainnet
November 20, 2024 01:20 1h 30m 44s
Leo Release
Leo Release #105: Manually run by d0cd
November 20, 2024 01:17 7m 42s mainnet
November 20, 2024 01:17 7m 42s
Use stable instead of x86_64
CI #5459: Pull request #28457 opened by d0cd
November 20, 2024 01:17 1h 33m 44s fix/release-ci-linux-musl
November 20, 2024 01:17 1h 33m 44s
pages build and deployment
pages-build-deployment #561: by github-pages bot
November 20, 2024 01:15 28s gh-pages
November 20, 2024 01:15 28s
Leo Release
Leo Release #104: Manually run by d0cd
November 20, 2024 01:14 23m 49s mainnet
November 20, 2024 01:14 23m 49s
Merge pull request #28456 from ProvableHQ/fix/release-ci-linux-musl
Code Coverage #534: Commit 055e426 pushed by d0cd
November 20, 2024 01:13 1h 30m 35s mainnet
November 20, 2024 01:13 1h 30m 35s
Merge pull request #28456 from ProvableHQ/fix/release-ci-linux-musl
Mainnet Crates Docs #817: Commit 055e426 pushed by d0cd
November 20, 2024 01:13 1m 30s mainnet
November 20, 2024 01:13 1m 30s
[Fix] Attempt to override GNU default toolchain
CI #5458: Pull request #28456 opened by d0cd
November 20, 2024 01:13 1h 33m 31s fix/release-ci-linux-musl
November 20, 2024 01:13 1h 33m 31s
Leo Release
Leo Release #103: Manually run by d0cd
November 20, 2024 01:02 20m 49s mainnet
November 20, 2024 01:02 20m 49s