Skip to content
Test Generated Java

Model coq-alpine after coq-debian #4570

Sign in to view logs

Model coq-alpine after coq-debian

Model coq-alpine after coq-debian #4570

Triggered via pull request November 11, 2023 16:41
@JasonGrossJasonGross
synchronize #1712
JasonGross:alpine-more
Status Success
Total duration 1h 4m 38s
Artifacts 1

java.yml

on: pull_request
test-java
35s
test-java
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
fiat-javadoc Expired
503 KB