Build unstable

Merge branch 'main' into add-data-availability #234

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.8)	2m 32s
build (3.9)	2m 36s
build (3.10)	2m 35s
build (3.11)	2m 22s
docker-build	7m 53s
	17m 58s