Skip to content
Windows CI

Merge pull request #26752 from hirrolot/opam-publish-checked_oint.0.2.1 #1910

Sign in to view logs

Merge pull request #26752 from hirrolot/opam-publish-checked_oint.0.2.1

Merge pull request #26752 from hirrolot/opam-publish-checked_oint.0.2.1 #1910

Triggered via push October 17, 2024 03:37
@shonfedershonfeder
pushed b7d4c11
master
Status Success
Total duration 1m 15s
Artifacts –

windows.yml

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