Skip to content
Build and Package TLA Proof Manager

Merge pull request #115 from tlaplus/isabelle-https #246

Sign in to view logs

Merge pull request #115 from tlaplus/isabelle-https

Merge pull request #115 from tlaplus/isabelle-https #246

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build TLAPS installer and test it (macos-latest, 0)
1m 42s
Build TLAPS installer and test it (macos-latest, 0)
11m 27s
Build TLAPS installer and test it (macos-latest, 0)
11m 27s
Build TLAPS installer and test it (macos-latest, 1)
9m 24s
Build TLAPS installer and test it (macos-latest, 1)
9m 24s
Build TLAPS installer and test it (macos-latest, 1)
9m 24s
Build TLAPS installer and test it (macos-latest, 2)
13m 42s
Build TLAPS installer and test it (macos-latest, 2)
13m 42s
Build TLAPS installer and test it (macos-latest, 2)
13m 42s
Build TLAPS installer and test it (ubuntu-latest, 0)
4m 28s
Build TLAPS installer and test it (ubuntu-latest, 0)
4m 28s
Build TLAPS installer and test it (ubuntu-latest, 0)
4m 28s
Build TLAPS installer and test it (ubuntu-latest, 1)
4m 40s
Build TLAPS installer and test it (ubuntu-latest, 1)
4m 40s
Build TLAPS installer and test it (ubuntu-latest, 1)
4m 40s
Build TLAPS installer and test it (ubuntu-latest, 2)
18m 37s
Build TLAPS installer and test it (ubuntu-latest, 2)
18m 37s
Build TLAPS installer and test it (ubuntu-latest, 2)
25m 2s
3h 3m 34s