Skip to content
Back to pull request #2062

Better ordering on print-report #5811

Sign in to view logs

Better ordering on print-report

Better ordering on print-report #5811

Triggered via pull request March 14, 2025 19:31
@JasonGrossJasonGross
synchronize #2062
JasonGross:better-makefile-ordering
Status Success
Total duration 53s
Artifacts 1

java.yml

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

Artifacts

Produced during runtime
Name Size Digest
fiat-javadoc
75.3 KB
sha256:00f68c2dec1996ceaf869139c459fe6c70c75cec1f70cd540966d59690fab475