Skip to content
Test Generated Java

Update coq-docker.yml #5440

Sign in to view logs

Update coq-docker.yml

Update coq-docker.yml #5440

Triggered via push September 18, 2024 19:58
@JasonGrossJasonGross
pushed 96ef9ac
update-wasm-of-ocaml
Status Success
Total duration 50s
Artifacts 1

java.yml

on: push
test-java
39s
test-java
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
fiat-javadoc
75.4 KB