Stable Compilation

Merge pull request #3238 from carstene1ns/github-maint #58

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu:20.04	5m 59s
debian:11	4m 50s
ubuntu:22.04	4m 56s
debian:12	5m 59s
	21m 44s