Skip to content

Merge stable-1.7 into main... #1997

Merge stable-1.7 into main...

Merge stable-1.7 into main... #1997

Triggered via pull request May 29, 2024 08:34
Status Success
Total duration 2m 51s
Artifacts 1

manual.yml

on: pull_request
compile and upload manual
2m 41s
compile and upload manual
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Digraphs manual Expired
1.08 MB