improve commute-subst-rename (#1006) #758

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	31m 25s
Build on macOS	35m 6s
Build on Windows	36m 13s
Build with older Agda 2.6.2.2	35m 4s
Build with older Agda 2.6.2.1	34m 33s
Build with older Agda 2.6.2	34m 52s
Build with older Agda 2.6.1.3	33m 38s
Build with newer GHC 9.6.3	29m 55s
Build with older GHC 9.2.8	34m 23s
Build with older GHC 9.0.2	41m 53s
Build with older GHC 8.10.7	39m 43s
Publish to GitHub Releases	0s
Publish to GitHub Pages	27s
	6h 27m 12s