Build status of org.lamport.tla.toolbox
Latest stable builds
| Status | App ID | Repo | Source | Started | Duration | Reproducible? |
|---|---|---|---|---|---|---|
| published | org.lamport.tla.toolbox | stable | d9a5426 | 2025-11-14 03:22 | 4m 24s | unknown |
Latest beta builds
| Status | App ID | Repo | Source | Started | Duration |
|---|---|---|---|---|---|
| No beta builds found | |||||
Latest test builds
| Status | App ID | Repo | Source | Started | Duration |
|---|---|---|---|---|---|
| committed | org.lamport.tla.toolbox | test | PR #30 | 2025-11-13 23:38 | 4m 15s |
| failed | org.lamport.tla.toolbox | test | PR #30 | 2025-11-11 02:46 | 3m 15s |