Skip to content
Rocq

Run Clang in testing CI (#112) #55

Sign in to view logs

Run Clang in testing CI (#112)

Run Clang in testing CI (#112) #55

Triggered via push April 28, 2025 03:16
@ZippeyKeys12ZippeyKeys12
pushed e7f971b
main
Status Success
Total duration 21m 0s
Artifacts –

rocq.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in