Skip to content

Merge pull request #13 from Emurgo/ruslan/pull-latest-upstream #1

Merge pull request #13 from Emurgo/ruslan/pull-latest-upstream

Merge pull request #13 from Emurgo/ruslan/pull-latest-upstream #1

Triggered via push September 25, 2025 16:33
Status Failure
Total duration 31s
Artifacts
determine-deployment
6s
determine-deployment
build-and-deploy
18s
build-and-deploy
deployment-skipped
0s
deployment-skipped
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-and-deploy
Process completed with exit code 1.