website

Fix errors when file is changed after selection (#956) #3850

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check format	2m 5s
Unit Tests	1m 18s
Build Website Docker Image	1m 35s
	4m 58s