Skip to content
coq-action

paper, msc, art.cls: squelch some warnings; switch to master #390

Sign in to view logs

paper, msc, art.cls: squelch some warnings; switch to master

paper, msc, art.cls: squelch some warnings; switch to master #390

Triggered via push November 19, 2023 13:53
@artagnonartagnon
pushed 8718d8c
master
Status Success
Total duration 2m 21s
Artifacts –

coq-action.yml

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