.github/workflows/push-actions.yml

Merge branch 'main' into exercise-rework #349

Sign in to view logs

Triggered via push June 19, 2024 06:22

exercise-rework

Status Success

Total duration 7m 35s

Artifacts 3

push-actions.yml

on: push

Validate that pre-commit hooks have run

Build lecture PDFs

Build the exercise archives

Build the submission PDFs

Artifacts

Produced during runtime

Name	Size
Exercise Archives Expired	4.73 MB
Lecture Slides Expired	17.7 MB
Submission PDFs Expired	753 KB