Skip to content

Adapt to https://github.com/coq/coq/pull/19530 #5573

Adapt to https://github.com/coq/coq/pull/19530

Adapt to https://github.com/coq/coq/pull/19530 #5573

Triggered via pull request December 5, 2024 07:32
Status Success
Total duration 1h 22m 41s
Artifacts 1

java.yml

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

Annotations

1 warning
test-java
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
fiat-javadoc
75.4 KB