CI

Include Agda files needed for tests in sdist #156

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Nix Linux / Build Vim plugin	24s
Nix macOS / Build Vim plugin	1m 28s
Nix macOS / Build package (ghc810)	15m 41s
Nix Linux / Build package (ghc810)	11m 55s
Nix macOS / Build package (ghc92)	7m 34s
Nix Linux / Build package (ghc92)	3m 0s
Nix macOS / Build package (ghc94)	7m 13s
Stack Linux / Build	2m 33s
Stack macOS / Build	14m 36s
Nix Linux / Build package (ghc94)	3m 33s
Nix macOS / Build package (ghc96)	4m 20s
Nix Linux / Build package (ghc96)	2m 41s
Stack Windows / Build	7m 33s
Stack Linux / Test	11m 59s
Stack Windows / Test	16m 12s
Stack macOS / Test	5m 47s
	1h 56m 29s