Skip to content
coq-action

paper: minor polish #404

Sign in to view logs

paper: minor polish

paper: minor polish #404

Triggered via push December 24, 2023 12:45
@artagnonartagnon
pushed 8bd0497
master
Status Success
Total duration 2m 17s
Artifacts –

coq-action.yml

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