Skip to content
Build & Test

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

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 #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build & Test (ubuntu-latest, 0)
8m 55s
Build & Test (ubuntu-latest, 1)
8m 37s
Build & Test (macos-latest, 0)
14m 9s
Build & Test (macos-latest, 1)
21m 53s
53m 34s