CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Nix Linux / Build package (ghc810)	26m 10s
Nix Linux / Build package (ghc92)	3m 59s
Nix Linux / Build package (ghc94)	3m 49s
Nix Linux / Build package (ghc96)	2m 20s
Nix Linux / Build Vim plugin	25s
Stack Linux / Build	9m 11s
Stack macOS / Build	7s
Stack Windows / Build	10m 48s
Nix macOS / Build package (ghc810)	40m 28s
Nix macOS / Build package (ghc92)	7m 23s
Nix macOS / Build Vim plugin	1m 28s
Nix macOS / Build package (ghc94)	7m 9s
Nix macOS / Build package (ghc96)	2m 46s
Stack macOS / Test	0s
Stack Linux / Test	3m 39s
Stack Windows / Test	16m 2s
	2h 15m 44s