Skip to content
Rocq

Run Clang in testing CI #54

Sign in to view logs

Run Clang in testing CI

Run Clang in testing CI #54

Triggered via pull request April 28, 2025 02:42
@ZippeyKeys12ZippeyKeys12
opened #112
ZippeyKeys12:test-clang
Status Success
Total duration 21m 30s
Artifacts –

rocq.yml

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