Skip to content
Linux-CompCert

Updated runtime. #2189

Sign in to view logs

Updated runtime.

Updated runtime. #2189

Triggered via push February 6, 2025 21:00
@robby-phdrobby-phd
pushed e1ce9bf
master
Status Success
Total duration 16m 3s
Artifacts –

CI-linux-compcert.yml

on: push
ci
15m 53s
ci
Fit to window
Zoom out
Zoom in