Skip to content
Back to pull request #1315

Generate Haskell code from the Agda spec #5233

Sign in to view logs

Generate Haskell code from the Agda spec

Generate Haskell code from the Agda spec #5233

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test (8.10.7, default, all)
41m 17s
Build and test (8.10.7, default, all)
41m 7s
Build and test (9.6.6, default, all)
27m 39s
Build and test (9.6.6, default, all)
27m 39s
Build and test (9.10.1, default, all)
26m 10s
Build and test (9.10.1, default, all)
26m 10s
Deploy documentation to GitHub Pages
0s
Deploy documentation to GitHub Pages
0s
Run benchmarks
0s
Run benchmarks (8.10.7)
24s
Run benchmarks (9.6.6)
23s
Run benchmarks (9.10.1)
22s
3h 11m 11s