Check

Merge remote-tracking branch 'origin/devel' into devel #516

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint / Backend	20s
Build / Frontend	2m 8s
Build / Backend	6s
Lint / Frontend	42s
	3m 16s