added DeMorgan to extra (#1063) #914

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	28m 41s
Build on macOS	26m 21s
Build on Windows	33m 30s
Build with older Agda 2.6.4.3	28m 45s
Build with newer GHC 9.8.2	26m 26s
Build with newer GHC 9.6.6	27m 2s
Build with older GHC 9.2.8	33m 8s
Build with older GHC 9.0.2	41m 24s
Build with older GHC 8.10.7	40m 31s
Publish to GitHub Releases	0s
Publish to GitHub Pages	20s
	4h 46m 8s