Update coq-windows.yml to echo build params better hopefully #4568

Triggered via push November 11, 2023 10:21

JasonGross

master

Status Success

Total duration 4h 1m 39s

Artifacts 1

java.yml

on: push

Produced during runtime

Name	Size
fiat-javadoc Expired	503 KB