Skip to content
Test Generated Java

Update coq-docker.yml #5470

Sign in to view logs

Update coq-docker.yml

Update coq-docker.yml #5470

Triggered via push September 20, 2024 03:55
@JasonGrossJasonGross
pushed 8dc165a
JasonGross-patch-1
Status Success
Total duration 3h 33m 52s
Artifacts 1

java.yml

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

Artifacts

Produced during runtime
Name Size
fiat-javadoc Expired
75.4 KB