Skip to content
coq-action

paper: tweak table numbering #384

Sign in to view logs

paper: tweak table numbering

paper: tweak table numbering #384

Triggered via push November 19, 2023 12:11
@artagnonartagnon
pushed d34c6ef
master
Status Success
Total duration 2m 31s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq-action.yml

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