Rocq

Remove `-fsyntaxonly`, used to miss some warnings #48

Sign in to view logs

Triggered via push April 27, 2025 04:04

main

Status Success

Total duration 35m 29s

Artifacts –

rocq.yml

on: push

Matrix: build