Skip to content
Test Generated Java

Update coq-debian.yml: install file #5316

Sign in to view logs

Update coq-debian.yml: install file

Update coq-debian.yml: install file #5316

Triggered via push June 17, 2024 23:32
@JasonGrossJasonGross
pushed 4e452e4
debian-containers-more
Status Success
Total duration 33m 15s
Artifacts 1

java.yml

on: push
test-java
1m 5s
test-java
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
fiat-javadoc Expired
66.8 KB