Skip to content

Fix Coq tests (#349) #328

Fix Coq tests (#349)

Fix Coq tests (#349) #328

Triggered via push April 13, 2024 16:38
Status Success
Total duration 33s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in