Skip to content
Back to pull request #96

Unify pr/main workflows and use tlaplus/examples as integration tests #5

Sign in to view logs

Unify pr/main workflows and use tlaplus/examples as integration tests

Unify pr/main workflows and use tlaplus/examples as integration tests #5

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build & Test (ubuntu-latest, 0)
14m 51s
Build & Test (ubuntu-latest, 1)
14m 38s
Build & Test (macos-latest, 0)
19m 29s
Build & Test (macos-latest, 1)
18m 56s
1h 7m 54s