Skip to content
Build on PR

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build & Test (ubuntu-latest, 0)
16m 14s
Build & Test (ubuntu-latest, 1)
15m 12s
Build & Test (macos-latest, 0)
34m 16s
Build & Test (macos-latest, 1)
39m 8s
1h 44m 50s