Skip to content

always' fixup (#114) #389

always' fixup (#114)

always' fixup (#114) #389

Triggered via push April 3, 2024 16:59
Status Success
Total duration 2m 8s
Artifacts

coq.yml

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