Skip to content
Type checking

Rename paper size option to paper #32

Sign in to view logs

Rename paper size option to paper

Rename paper size option to paper #32

Triggered via push October 10, 2023 21:01
@victorbnlvictorbnl
pushed b75cb21
main
Status Success
Total duration 31s
Artifacts –

type_check.yml

on: push
check
21s
check
Fit to window
Zoom out
Zoom in