CI checks

Update again after new rebase #1231

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
assemble (232)	6m 35s
checks (232)	6m 27s
assemble (233)	6m 41s
checks (233)	6m 37s
	26m 20s