Skip to content
Simple

Merge pull request #209 from well-typed/edsko/code-cleanup #232

Sign in to view logs

Merge pull request #209 from well-typed/edsko/code-cleanup

Merge pull request #209 from well-typed/edsko/code-cleanup #232

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Simple: GHC 9.4.8 on macos-latest
4m 23s
Simple: GHC 9.4.8 on windows-latest
4m 40s
9m 3s