Windows CI

Package why3find.1.1.0 #2946

Sign in to view logs

Triggered via pull request December 18, 2024 19:07

btjorge

synchronize #27144

btjorge:opam-publish-why3find.1.1.0

Status Failure

Total duration 7m 45s

Artifacts –

windows.yml

on: pull_request

Matrix: build

Annotations

1 error

build (windows-latest)

Process completed with exit code 1.