Skip to content

Actions: o1-labs/mina-rust

Actions

Frontend CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
frontend.yaml
1,263 workflow runs
1,263 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1346 from o1-labs/dw/clean-documentation-docker Frontend CI #1120: Commit eda3d10 pushed by dannywillems
12m 14s develop
develop
12m 14s
Merge pull request #1345 from o1-labs/dw/fix-ssl Frontend CI #1119: Commit 4e7adbe pushed by dannywillems
11m 55s develop
develop
11m 55s
Merge pull request #1341 from o1-labs/dw/update-release Frontend CI #1118: Commit 370c78e pushed by dannywillems
12m 3s develop
develop
12m 3s
Merge pull request #1343 from o1-labs/dw/updating-leftover-openmina Frontend CI #1117: Commit 89010a2 pushed by dannywillems
20s develop
develop
20s
CHANGELOG: update patch for docker push multi-platform Frontend CI #1116: Commit a88d54e pushed by dannywillems
12m 9s develop
develop
12m 9s
CI: add missing checkout Frontend CI #1115: Commit 1e9f33f pushed by dannywillems
13m 38s develop
develop
13m 38s
CI: push Docker images by digest Frontend CI #1114: Commit 2981ecf pushed by dannywillems
13m 22s develop
develop
13m 22s
Merge pull request #1344 from o1-labs/dw/split-push-docker-frontend Frontend CI #1113: Commit a5084ac pushed by dannywillems
6m 14s develop
develop
6m 14s
Merge pull request #1340 from o1-labs/dw/multiarch-docker Frontend CI #1112: Commit 19cf7da pushed by dannywillems
15m 23s develop
develop
15m 23s
Merge pull request #1339 from o1-labs/dw/release-process Frontend CI #1111: Commit 827d6f2 pushed by dannywillems
12m 9s develop
develop
12m 9s
Merge pull request #1337 from o1-labs/dw/push-arm-x86 Frontend CI #1110: Commit b131408 pushed by dannywillems
16m 52s develop
develop
16m 52s
Merge pull request #1335 from o1-labs/dw/publish-dockerfiles Frontend CI #1109: Commit 8693fce pushed by dannywillems
13m 46s develop
develop
13m 46s
Merge pull request #1314 from o1-labs/rename-openmina-to-mina Frontend CI #1108: Commit 755bc86 pushed by dannywillems
12m 42s develop
develop
12m 42s
Rename openmina to mina Frontend CI #1107: Pull request #1314 synchronize by dannywillems
12m 5s rename-openmina-to-mina
rename-openmina-to-mina
12m 5s
Rename openmina to mina Frontend CI #1106: Pull request #1314 synchronize by directcuteo
12m 7s rename-openmina-to-mina
rename-openmina-to-mina
12m 7s
Rename openmina to mina Frontend CI #1105: Pull request #1314 synchronize by directcuteo
1m 58s rename-openmina-to-mina
rename-openmina-to-mina
1m 58s
Rename openmina to mina Frontend CI #1104: Pull request #1314 synchronize by dannywillems
12m 28s rename-openmina-to-mina
rename-openmina-to-mina
12m 28s
Rename openmina to mina Frontend CI #1103: Pull request #1314 synchronize by dannywillems
11m 55s rename-openmina-to-mina
rename-openmina-to-mina
11m 55s
Rename openmina to mina Frontend CI #1102: Pull request #1314 synchronize by dannywillems
12m 7s rename-openmina-to-mina
rename-openmina-to-mina
12m 7s
Rename openmina to mina Frontend CI #1101: Pull request #1314 synchronize by dannywillems
2m 43s rename-openmina-to-mina
rename-openmina-to-mina
2m 43s
Rename openmina to mina Frontend CI #1100: Pull request #1314 synchronize by dannywillems
15s rename-openmina-to-mina
rename-openmina-to-mina
15s
Rename openmina to mina Frontend CI #1099: Pull request #1314 synchronize by dannywillems
11m 56s rename-openmina-to-mina
rename-openmina-to-mina
11m 56s
Merge pull request #1328 from o1-labs/dw/use-previous-nightly-rust Frontend CI #1098: Commit 22c7b16 pushed by dannywillems
12m 2s develop
develop
12m 2s
Rename openmina to mina Frontend CI #1097: Pull request #1314 synchronize by dannywillems
12m 3s rename-openmina-to-mina
rename-openmina-to-mina
12m 3s
Rename openmina to mina Frontend CI #1096: Pull request #1314 synchronize by dannywillems
11m 58s rename-openmina-to-mina
rename-openmina-to-mina
11m 58s
ProTip! You can narrow down the results and go further in time using created:<2025-08-20 or the other filters available.