[CI] [Windows] Try 3.3.0 · mit-plv/fiat-crypto@51cfce9

Triggered via pull request June 10, 2025 06:15

JasonGross

opened #2100

setup-ocaml@3.3.0

Status Failure

Total duration 34m 48s

Artifacts 1

coq-windows.yml

on: pull_request

6 errors

Process completed with exit code 1.

Makefile:90: bedrock2_ex

Makefile:89: special/BytedumpTest.out

Makefile:90: bedrock2_ex

Makefile:89: special/BytedumpTest.out

Process completed with exit code 1.

Produced during runtime

Name	Size	Digest
timing-files-windows Expired	719 KB	`sha256:7f60cc97de962fc84954138fe0b9e456d238eef9c804acbe70dfc18174658c6f`