CI

Get Agda version via interaction mode #186

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Stack Linux / Build	44s
Stack Windows / Build	5m 10s
Nix Linux / Build Vim plugin	27s
Nix Linux / Build package (ghc92)	3m 29s
Nix Linux / Build package (ghc810)	27m 47s
Nix Linux / Build package (ghc94)	2m 49s
Nix Linux / Build package (ghc96)	2m 14s
Stack Linux / Test	1h 0m 25s
Stack Windows / Test	1h 14m 12s
	2h 57m 17s