Update to Agda 2.6.4 #348

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest / ghc 8.6.5	1m 47s
ubuntu-latest / ghc 8.6.5	1m 53s
ubuntu-latest / ghc 8.8.4	1m 42s
ubuntu-latest / ghc 8.8.4	1m 50s
ubuntu-latest / ghc 8.10.7	1m 47s
ubuntu-latest / ghc 8.10.7	1m 48s
ubuntu-latest / ghc 9.0.2	1m 48s
ubuntu-latest / ghc 9.0.2	1m 52s
ubuntu-latest / ghc 9.2.5	1m 48s
ubuntu-latest / ghc 9.2.5	1m 51s
ubuntu-latest / ghc 9.4.3	1m 47s
ubuntu-latest / ghc 9.4.3	1m 54s
	21m 47s