.github/workflows/push-actions.yml

exercise-clustering: Implement the rest of the basic terms tasks for … #358

Sign in to view logs

Triggered via push June 26, 2024 07:58

exercise-clustering-rework

Status Success

Total duration 7m 40s

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	5.99 MB
Lecture Slides Expired	17.7 MB
Submission PDFs Expired	1.52 MB