Back to pull request #9658

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
get-labels	2s
check-build-status	0s
filter-matrix	0s
process-matrix	0s
deploy	0s
add-error-label	0s
	2s