CI

Fix Agda RPC for upcoming 2.8.0 #181

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Nix Linux / Build Vim plugin	27s
Stack Windows / Build	12m 0s
Stack Linux / Build	10m 19s
Nix Linux / Build package (ghc810)	25m 7s
Nix Linux / Build package (ghc92)	2m 21s
Nix Linux / Build package (ghc94)	3m 3s
Nix Linux / Build package (ghc96)	2m 19s
Stack Linux / Test	1h 0m 32s
Stack Windows / Test	1h 13m 27s
	3h 9m 35s