Add new module Dec for decidability proofs (compiled to Bool) #420

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest / ghc 8.6.5	31s
ubuntu-latest / ghc 8.6.5	33s
ubuntu-latest / ghc 8.8.4	30s
ubuntu-latest / ghc 8.8.4	31s
ubuntu-latest / ghc 8.10.7	32s
ubuntu-latest / ghc 8.10.7	31s
ubuntu-latest / ghc 9.0.2	32s
ubuntu-latest / ghc 9.0.2	31s
ubuntu-latest / ghc 9.2.5	33s
ubuntu-latest / ghc 9.2.5	31s
ubuntu-latest / ghc 9.4.3	33s
ubuntu-latest / ghc 9.4.3	30s
ubuntu-latest / ghc 9.6.3	27s
ubuntu-latest / ghc 9.6.3	28s
	7m 13s