Skip to content

Actions: o1-labs/mina-rust

Actions

Documentation Scripts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-docs-scripts.yaml
221 workflow runs
221 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Website: ci.yaml has been renamed into tests.yaml Documentation Scripts #146: Pull request #1450 labeled by dannywillems
4h 36m 40s dw/update-doc-update-ocaml-node
dw/update-doc-update-ocaml-node
4h 36m 40s
Website: ci.yaml has been renamed into tests.yaml Documentation Scripts #145: Pull request #1450 labeled by dannywillems
3h 43m 23s dw/update-doc-update-ocaml-node
dw/update-doc-update-ocaml-node
3h 43m 23s
CI/tests: use inputs + add build-wasm step Documentation Scripts #144: Pull request #1449 labeled by dannywillems
1s dw/build-wasm-tests
dw/build-wasm-tests
1s
CI: add a workflow for the project assignment Documentation Scripts #143: Pull request #1447 labeled by dannywillems
1s dw/gh-projects-check-ci
dw/gh-projects-check-ci
1s
CI/Makefile: setup-wasm installs wasm-bindgen-cli Documentation Scripts #142: Pull request #1445 labeled by dannywillems
1s dw/setup-wasm-install-wasmbindgen
dw/setup-wasm-install-wasmbindgen
1s
Dockerignore: update Documentation Scripts #141: Pull request #1446 labeled by dannywillems
1s dw/dockerignore-improve
dw/dockerignore-improve
1s
CI: stop building for each platform at each PR Documentation Scripts #140: Pull request #1444 labeled by dannywillems
1s dw/ci-build-multiplatforms
dw/ci-build-multiplatforms
1s
Frontend: document MinaEnv interface Documentation Scripts #139: Pull request #1443 labeled by dannywillems
2s dw/frontend-document-env
dw/frontend-document-env
2s
Documentation Scripts Documentation Scripts #138: Scheduled
1h 46m 21s develop
develop
1h 46m 21s
Build(deps): Bump actions/checkout from 4 to 5 Documentation Scripts #137: Pull request #1437 labeled by dependabot bot
1s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1s
Build(deps): Bump actions/checkout from 4 to 5 Documentation Scripts #136: Pull request #1437 labeled by dependabot bot
1s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1s
Build(deps): Bump actions/checkout from 4 to 5 Documentation Scripts #135: Pull request #1437 labeled by dependabot bot
1s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1s
Build(deps): Bump actions/checkout from 4 to 5 Documentation Scripts #134: Pull request #1437 labeled by dependabot bot
1s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1s
CI: separate build workflows per OS for individual badges Documentation Scripts #133: Pull request #1436 labeled by dannywillems
1s dw/badge-workflow-build
dw/badge-workflow-build
1s
Website/Release: remove WIP section + fix rendering info Documentation Scripts #132: Pull request #1435 labeled by dannywillems
1s dw/remove-release-process-wip
dw/remove-release-process-wip
1s
Updated circuit generation process Documentation Scripts #131: Pull request #1433 labeled by 0xMimir
1s feat/update-docs
feat/update-docs
1s
Documentation Scripts Documentation Scripts #130: Scheduled
1h 40m 48s develop
develop
1h 40m 48s
Documentation Scripts Documentation Scripts #129: Scheduled
1h 14m 41s develop
develop
1h 14m 41s
Documentation Scripts Documentation Scripts #128: Scheduled
1h 35m 50s develop
develop
1h 35m 50s
CI: fix test-docs-infrastructure Documentation Scripts #127: Pull request #1432 labeled by dannywillems
1s docs/graphql-endpoint-troubleshooting
docs/graphql-endpoint-troubleshooting
1s
Documentation Scripts Documentation Scripts #126: Scheduled
1h 35m 3s develop
develop
1h 35m 3s
CI/Makefile: use the latest nightly Documentation Scripts #125: Pull request #1431 labeled by dannywillems
2s dw/use-latest-nightly
dw/use-latest-nightly
2s
Website/release: platform lead should be contacted to deploy nodes Documentation Scripts #124: Pull request #1429 labeled by dannywillems
1s dw/release-update-node
dw/release-update-node
1s
Frontend: revamp docker image + add documentation to website Documentation Scripts #123: Pull request #1420 labeled by dannywillems
10h 7m 48s dw/fix-frontend-docker
dw/fix-frontend-docker
10h 7m 48s
Frontend: revamp docker image + add documentation to website Documentation Scripts #122: Pull request #1420 labeled by dannywillems
7h 43m 57s dw/fix-frontend-docker
dw/fix-frontend-docker
7h 43m 57s