Skip to content
CI

Fix Agda RPC for upcoming 2.8.0 #24

Sign in to view logs

Fix Agda RPC for upcoming 2.8.0

Fix Agda RPC for upcoming 2.8.0 #24

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix Linux / Build Vim plugin
22s
Nix Linux / Build package (ghc810)
29m 41s
Nix Linux / Build package (ghc92)
4m 2s
Nix Linux / Build package (ghc94)
3m 55s
Stack Linux / Build
11m 8s
Nix Linux / Build package (ghc96)
2m 21s
Stack Windows / Build
12m 58s
Stack Linux / Test
1h 0m 28s
Stack Windows / Test
1h 11m 57s
3h 16m 52s