CI

Get Agda version via interaction mode #185

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Stack Windows / Build	6m 5s
Stack Linux / Build	47s
Nix Linux / Build Vim plugin	23s
Nix Linux / Build package (ghc92)	3m 42s
Nix Linux / Build package (ghc94)	2m 49s
Nix Linux / Build package (ghc96)	2m 12s
Nix Linux / Build package (ghc810)	27m 46s
Stack Linux / Test	1h 0m 24s
Stack Windows / Test	1h 11m 45s
	2h 55m 53s