Skip to content
Build & Test

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

Sign in to view logs

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

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

Triggered via pull request October 23, 2024 00:07
@ahelwerahelwer
opened #159
ahelwer:parser-corpus-tests
Status Failure
Total duration 23m 45s
Artifacts –

ci.yml

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

Annotations

6 errors
Build & Test (ubuntu-latest, 4.14.1)
Process completed with exit code 2.
Build & Test (ubuntu-latest, 5.1.0)
Process completed with exit code 2.
Build & Test (macos-14, 4.14.1)
Process completed with exit code 2.
Build & Test (macos-14, 5.1.0)
Process completed with exit code 2.
Build & Test (macos-13, 5.1.0)
Process completed with exit code 2.
Build & Test (macos-13, 4.14.1)
Process completed with exit code 2.