Skip to content

Run corpus of TLA+ syntax tests in simple pass/fail manner #121

Run corpus of TLA+ syntax tests in simple pass/fail manner

Run corpus of TLA+ syntax tests in simple pass/fail manner #121

Triggered via pull request October 23, 2024 12:54
Status Cancelled
Total duration 3m 24s
Artifacts

ci.yml

on: pull_request
Matrix: Build & Test
Fit to window
Zoom out
Zoom in

Annotations

11 errors
Build & Test (macos-13, 4.14.1)
The run was canceled by @ahelwer.
Build & Test (macos-13, 5.1.0)
The run was canceled by @ahelwer.
Build & Test (macos-13, 5.1.0)
The operation was canceled.
Build & Test (macos-14, 5.1.0)
The run was canceled by @ahelwer.
Build & Test (macos-14, 5.1.0)
The operation was canceled.
Build & Test (ubuntu-latest, 4.14.1)
The run was canceled by @ahelwer.
Build & Test (ubuntu-latest, 4.14.1)
The operation was canceled.
Build & Test (ubuntu-latest, 5.1.0)
The run was canceled by @ahelwer.
Build & Test (ubuntu-latest, 5.1.0)
The operation was canceled.
Build & Test (macos-14, 4.14.1)
The run was canceled by @ahelwer.
Build & Test (macos-14, 4.14.1)
The operation was canceled.