Skip to content

Merge pull request #26259 from rmonat/opam-publish-mopsa.1.0 #1

Merge pull request #26259 from rmonat/opam-publish-mopsa.1.0

Merge pull request #26259 from rmonat/opam-publish-mopsa.1.0 #1

Triggered via push July 22, 2024 04:09
Status Cancelled
Total duration 2m 1s
Artifacts

windows.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build (windows-latest)
The run was canceled by @MartyO256.
build (windows-latest)
The operation was canceled.