Skip to content

Merge branch 'submission-classification' #354

Merge branch 'submission-classification'

Merge branch 'submission-classification' #354

Triggered via push June 20, 2024 11:56
Status Success
Total duration 7m 52s
Artifacts 3

push-actions.yml

on: push
Validate that pre-commit hooks have run
1m 57s
Validate that pre-commit hooks have run
Build lecture PDFs
5m 39s
Build lecture PDFs
Build the exercise archives
3m 13s
Build the exercise archives
Build the submission PDFs
1m 36s
Build the submission PDFs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Exercise Archives Expired
4.73 MB
Lecture Slides Expired
17.7 MB
Submission PDFs Expired
1.51 MB