Skip to content
coq-action

paper: tweak font sizes harder using anyfont; lmodern #386

Sign in to view logs

paper: tweak font sizes harder using anyfont; lmodern

paper: tweak font sizes harder using anyfont; lmodern #386

Triggered via push November 19, 2023 12:41
@artagnonartagnon
pushed 0bb6de9
master
Status Success
Total duration 2m 25s
Artifacts –

coq-action.yml

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