Skip to content

Merge pull request #601 from james-d-mitchell/linting #1464

Merge pull request #601 from james-d-mitchell/linting

Merge pull request #601 from james-d-mitchell/linting #1464

Triggered via push January 10, 2024 15:57
Status Success
Total duration 3m 24s
Artifacts 1

manual.yml

on: push
compile and upload manual
3m 14s
compile and upload manual
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Digraphs manual Expired
3.1 MB