Skip to content

Bump etc/coq-scripts from e4d9e81 to 4327aa1 #5523

Bump etc/coq-scripts from e4d9e81 to 4327aa1

Bump etc/coq-scripts from e4d9e81 to 4327aa1 #5523

Triggered via pull request October 9, 2024 08:56
Status Success
Total duration 1h 0m 22s
Artifacts 1

java.yml

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

Artifacts

Produced during runtime
Name Size
fiat-javadoc
75.4 KB