Skip to content

Actions: o1-labs/mina-rust

Actions

Test Documentation Scripts - Infrastructure

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-docs-infrastructure.yaml
495 workflow runs
495 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Website: add documentation guidelines + code ref in doc Test Documentation Scripts - Infrastructure #220: Pull request #1493 synchronize by dannywillems
26s dw/add-documentation-guidelines
dw/add-documentation-guidelines
26s
Website: add documentation guidelines + code ref in doc Test Documentation Scripts - Infrastructure #219: Pull request #1493 synchronize by dannywillems
48s dw/add-documentation-guidelines
dw/add-documentation-guidelines
48s
Website: add documentation guidelines + code ref in doc Test Documentation Scripts - Infrastructure #218: Pull request #1493 synchronize by dannywillems
1m 37s dw/add-documentation-guidelines
dw/add-documentation-guidelines
1m 37s
Website: add documentation guidelines + code ref in doc Test Documentation Scripts - Infrastructure #217: Pull request #1493 synchronize by dannywillems
56s dw/add-documentation-guidelines
dw/add-documentation-guidelines
56s
Website: add documentation guidelines + code ref in doc Test Documentation Scripts - Infrastructure #216: Pull request #1493 synchronize by dannywillems
1m 58s dw/add-documentation-guidelines
dw/add-documentation-guidelines
1m 58s
Website: add documentation guidelines + code ref in doc Test Documentation Scripts - Infrastructure #215: Pull request #1493 synchronize by dannywillems
21s dw/add-documentation-guidelines
dw/add-documentation-guidelines
21s
Website: add documentation guidelines + code ref in doc Test Documentation Scripts - Infrastructure #214: Pull request #1493 opened by dannywillems
21s dw/add-documentation-guidelines
dw/add-documentation-guidelines
21s
Update directory name for devnet circuit blobs Test Documentation Scripts - Infrastructure #213: Pull request #1413 synchronize by dannywillems
19s dw/use-updated-circuits
dw/use-updated-circuits
19s
Merge pull request #1484 from o1-labs/dw/remove-old-bp-section Test Documentation Scripts - Infrastructure #212: Commit 4fd97df pushed by dannywillems
19m 53s develop
develop
19m 53s
Test Documentation Scripts - Infrastructure Test Documentation Scripts - Infrastructure #211: Scheduled
26s develop
develop
26s
Merge pull request #1492 from o1-labs/dw/remove-old-makefile-targets Test Documentation Scripts - Infrastructure #210: Commit da7a595 pushed by dannywillems
1h 2m 2s develop
develop
1h 2m 2s
CI/frontend-build: remove build-producer and block-producers Test Documentation Scripts - Infrastructure #209: Pull request #1492 synchronize by dannywillems
49m 46s dw/remove-old-makefile-targets
dw/remove-old-makefile-targets
49m 46s
CI/frontend-build: remove build-producer and block-producers Test Documentation Scripts - Infrastructure #208: Pull request #1492 opened by dannywillems
33m 33s dw/remove-old-makefile-targets
dw/remove-old-makefile-targets
33m 33s
Website: update o1Labs infrastructure section with the node dashboard link Test Documentation Scripts - Infrastructure #207: Pull request #1491 synchronize by dannywillems
1h 5m 11s dw/adding-link-to-front-end-dashboard
dw/adding-link-to-front-end-dashboard
1h 5m 11s
Website: update o1Labs infrastructure section with the node dashboard link Test Documentation Scripts - Infrastructure #206: Pull request #1491 opened by dannywillems
56m 0s dw/adding-link-to-front-end-dashboard
dw/adding-link-to-front-end-dashboard
56m 0s
Merge pull request #1490 from o1-labs/dw/instruction-to-join-devnet Test Documentation Scripts - Infrastructure #205: Commit a1b4023 pushed by dannywillems
56m 6s develop
develop
56m 6s
Merge pull request #1488 from o1-labs/dw/remove-duplicated-env Test Documentation Scripts - Infrastructure #204: Commit bff4b5b pushed by dannywillems
24m 25s develop
develop
24m 25s
Website: add a "Join devnet" CTA button and section Test Documentation Scripts - Infrastructure #203: Pull request #1490 synchronize by dannywillems
1h 32m 46s dw/instruction-to-join-devnet
dw/instruction-to-join-devnet
1h 32m 46s
Website: add a "Join devnet" CTA button and section Test Documentation Scripts - Infrastructure #202: Pull request #1490 synchronize by dannywillems
1h 25m 55s dw/instruction-to-join-devnet
dw/instruction-to-join-devnet
1h 25m 55s
Website: add a "Join devnet" CTA button and section Test Documentation Scripts - Infrastructure #201: Pull request #1490 synchronize by dannywillems
33m 46s dw/instruction-to-join-devnet
dw/instruction-to-join-devnet
33m 46s
Website: add a "Join devnet" CTA button and section Test Documentation Scripts - Infrastructure #200: Pull request #1490 synchronize by dannywillems
15m 59s dw/instruction-to-join-devnet
dw/instruction-to-join-devnet
15m 59s
Website: add a "Join devnet" CTA button and section Test Documentation Scripts - Infrastructure #199: Pull request #1490 opened by dannywillems
11m 22s dw/instruction-to-join-devnet
dw/instruction-to-join-devnet
11m 22s
Frontend: remove producer and block-producers env Test Documentation Scripts - Infrastructure #198: Pull request #1488 synchronize by dannywillems
8m 36s dw/remove-duplicated-env
dw/remove-duplicated-env
8m 36s
Merge pull request #1489 from o1-labs/dw/use-https-for-prod Test Documentation Scripts - Infrastructure #197: Commit 612d309 pushed by dannywillems
14m 6s develop
develop
14m 6s
frontend: use HTTPS for production environments Test Documentation Scripts - Infrastructure #196: Pull request #1489 opened by dannywillems
20m 46s dw/use-https-for-prod
dw/use-https-for-prod
20m 46s
ProTip! You can narrow down the results and go further in time using created:<2025-10-01 or the other filters available.