Skip to content
CI

Set ft=markdown.agda for *.lagda.md #171

Sign in to view logs

Set ft=markdown.agda for *.lagda.md

Set ft=markdown.agda for *.lagda.md #171

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Stack macOS / Build
6s
Nix Linux / Build Vim plugin
26s
Nix Linux / Build package (ghc810)
27m 58s
Nix macOS / Build Vim plugin
1m 33s
Nix Linux / Build package (ghc92)
4m 6s
Nix macOS / Build package (ghc810)
38m 32s
Stack Linux / Build
8m 49s
Nix macOS / Build package (ghc92)
5m 9s
Nix Linux / Build package (ghc94)
3m 45s
Nix macOS / Build package (ghc94)
6m 1s
Stack Windows / Build
11m 14s
Nix Linux / Build package (ghc96)
1m 39s
Nix macOS / Build package (ghc96)
4m 58s
Stack Linux / Test
3m 38s
Stack Windows / Test
24m 8s
Stack macOS / Test
0s
2h 22m 2s