Pull Request Closed

`Lectures`: Fix PDF rendering issue in lecture units #3768

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Process labels	2s
Delete image from ghcr.io	2s
Remove labels	0s
Update badges	0s
	4s