Update coq-macos.yml #5560

Triggered via push November 20, 2024 22:02

JasonGross

fix-macos

Status Success

Total duration 1m 12s

Artifacts 1

java.yml

on: push

Produced during runtime

Name	Size
fiat-javadoc	75.3 KB