Skip to content

prettify: clean up a few more annotations #418

prettify: clean up a few more annotations

prettify: clean up a few more annotations #418

Triggered via push February 20, 2024 15:04
Status Success
Total duration 2m 27s
Artifacts

coq-action.yml

on: push
Fit to window
Zoom out
Zoom in