[CI] [Windows] Bump to OCaml 4.13.1 · mit-plv/fiat-crypto@f7322d8

Triggered via pull request July 30, 2024 01:27

JasonGross

opened #1936

ci-win-ocaml-4.13

Status Failure

Total duration 19m 2s

Artifacts 3

coq-docker.yml

on: pull_request

Matrix: build

Matrix: build-js-of-ocaml

Matrix: build-wasm-of-ocaml

Matrix: generated-files

Matrix: standalone-haskell

Matrix: test-standalone

Matrix: validate

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
ExtractionHaskell-source-master	6.32 KB
ExtractionJsOfOCaml-source-master	756 Bytes
ExtractionOCaml-master	5.9 KB