Skip to content
Build TypeTheory

Merge pull request #243 from arnoudvanderleer/rename-category-packages #186

Sign in to view logs

Merge pull request #243 from arnoudvanderleer/rename-category-packages

Merge pull request #243 from arnoudvanderleer/rename-category-packages #186

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build with dev
4m 39s
Build with latest
4m 16s
Build with 8.16
3m 59s
Build with 8.15
3m 52s
16m 46s