Skip to content
Back to pull request #1344

Integrate the Haskell code emitted from agda-spec into CI #4899

Sign in to view logs

Integrate the Haskell code emitted from agda-spec into CI

Integrate the Haskell code emitted from agda-spec into CI #4899

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test (8.10.7, default, all)
36m 45s
Build and test (9.6.6, default, all)
26m 7s
Build and test (9.10.1, default, all)
24m 28s
Run benchmarks (8.10.7)
18s
Deploy documentation to GitHub Pages
0s
Run benchmarks (9.6.6)
45s
Run benchmarks (9.10.1)
31s
1h 28m 54s