CI

Set ft=markdown.agda for *.lagda.md #18

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Nix Linux / Build package (ghc810)	26m 38s
Nix Linux / Build package (ghc92)	3m 48s
Nix Linux / Build Vim plugin	24s
Nix macOS / Build package (ghc810)	38m 39s
Nix Linux / Build package (ghc94)	3m 40s
Nix macOS / Build package (ghc92)	6m 26s
Nix macOS / Build Vim plugin	1m 25s
Nix Linux / Build package (ghc96)	1m 39s
Nix macOS / Build package (ghc94)	6m 9s
Nix macOS / Build package (ghc96)	2m 42s
Stack Linux / Build	55s
Stack macOS / Build	7s
Stack Windows / Build	11m 16s
Stack Linux / Test	14m 12s
Stack macOS / Test	0s
Stack Windows / Test	15m 35s
	2h 13m 35s