CI

feat: put PRs on the board so a decision about one is recorded, not r… #1196

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code quality	20s
Detect changes	15s
E2E tests	7m 49s
Frontend checks	3s
Docker build & boot	2m 8s
Fast tests	2m 57s
Algorithm tests	0s
Merge gate	3s
	13m 35s