Skip to content
CI

Fix Agda RPC for upcoming 2.8.0 #180

Sign in to view logs

Fix Agda RPC for upcoming 2.8.0

Fix Agda RPC for upcoming 2.8.0 #180

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix Linux / Build Vim plugin
25s
Nix Linux / Build package (ghc810)
26m 25s
Stack Windows / Build
11m 14s
Nix Linux / Build package (ghc92)
2m 20s
Stack Linux / Build
9m 57s
Nix Linux / Build package (ghc94)
3m 0s
Nix Linux / Build package (ghc96)
2m 19s
Stack Linux / Test
1h 0m 42s
Stack Windows / Test
1h 13m 55s
3h 10m 17s