Skip to content
.github/workflows/push-actions.yml

lecture: Removed the do not record footer as the FSI will record this… #312

Sign in to view logs

lecture: Removed the do not record footer as the FSI will record this…

lecture: Removed the do not record footer as the FSI will record this… #312

Triggered via push April 15, 2024 05:39
@dominik-probstdominik-probst
pushed 73af564
main
Status Success
Total duration 8m 8s
Artifacts 3

push-actions.yml

on: push
Validate that pre-commit hooks have run
2m 0s
Validate that pre-commit hooks have run
Build lecture PDFs
5m 50s
Build lecture PDFs
Build the exercise archives
2m 11s
Build the exercise archives
Build the submission PDFs
1m 59s
Build the submission PDFs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Exercise Archives Expired
3.28 MB
Lecture Slides Expired
17.6 MB
Submission PDFs Expired
724 KB