Windows CI

Merge pull request #27144 from btjorge/opam-publish-why3find.1.1.0 #2996

Sign in to view logs

Triggered via push December 20, 2024 19:30

shonfeder

master

Status Success

Total duration 1m 1s

Artifacts –

windows.yml

on: push

Matrix: build