Skip to content

Merge branch 'develop' into gh1004 #2809

Merge branch 'develop' into gh1004

Merge branch 'develop' into gh1004 #2809

Triggered via push October 19, 2023 12:05
Status Success
Total duration 14m 34s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yaml

on: push
Update TeX Live
1m 28s
Update TeX Live
Matrix: docs
Matrix: l3build
Send notifications
0s
Send notifications
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Documentation Expired
109 MB