[CI] [opam] Work around MacOS / opam / brew issue #5559

Triggered via push November 20, 2024 19:33

JasonGross

master

Status Success

Total duration 1h 27m 15s

Artifacts 1

java.yml

on: push

Produced during runtime

Name	Size
fiat-javadoc	75.3 KB