CI

fix: make a resumed PR read its comments, not only its reviews #1181

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code quality	21s
Detect changes	9s
E2E tests	3s
Frontend checks	3s
Fast tests	3s
Docker build & boot	-1s
Algorithm tests	-1s
Merge gate	2s
	39s