Build

chore: upgrade flint to v0.22.2 (#482) #920

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
common / Build (windows-latest, 25)	1m 41s
common / Build (ubuntu-latest, 8)	59s
common / Build (ubuntu-latest, 11)	47s
common / Build (ubuntu-latest, 25)	53s
common / Build (macos-latest, 25)	1m 9s
common / Build (ubuntu-latest, 21)	1m 7s
common / Build (ubuntu-latest, 17)	56s
	7m 32s