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 19s
Artifacts
check-version-change
5s
check-version-change
create-sync-prs
3s
create-sync-prs
notify-completion
3s
notify-completion
Fit to window
Zoom out
Zoom in

Annotations

1 error
create-sync-prs
Process completed with exit code 1.