Pull Request Closed

`Development`: Use signals in lecture online and text unit #3867

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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