Attempt to fix wasm_of_ocaml #5441

Triggered via pull request September 18, 2024 19:58

JasonGross

synchronize #1958

update-wasm-of-ocaml

Status Success

Total duration 56s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc	75.4 KB