Skip to content
Build TypeTheory

Merge pull request #242 from rmatthes/followupstreamPR1829 #183

Sign in to view logs

Merge pull request #242 from rmatthes/followupstreamPR1829

Merge pull request #242 from rmatthes/followupstreamPR1829 #183

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build with dev
4m 36s
Build with latest
3m 59s
Build with 8.16
4m 26s
Build with 8.15
4m 21s
17m 22s