Skip to content
coq-action

paper: final polish #406

Sign in to view logs

paper: final polish

paper: final polish #406

Triggered via push December 25, 2023 11:01
@artagnonartagnon
pushed 3313d5f
master
Status Success
Total duration 2m 17s
Artifacts –

coq-action.yml

on: push
build
2m 8s
build
Fit to window
Zoom out
Zoom in