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

Triggered via pull request April 20, 2024 17:49
@ahelwerahelwer
synchronize #96
ahelwer:examples-ci
Status Failure
Total duration 22m 6s
Artifacts –

ci.yml

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

Annotations

4 errors and 2 warnings
Build & Test (ubuntu-latest, 1)
Process completed with exit code 1.
Build & Test (ubuntu-latest, 0)
Process completed with exit code 1.
Build & Test (macos-latest, 0)
Process completed with exit code 1.
Build & Test (macos-latest, 1)
Process completed with exit code 1.
Build & Test (macos-latest, 0)
darcs has been deprecated because it depends on GHC 8.10 to build!
Build & Test (macos-latest, 1)
darcs has been deprecated because it depends on GHC 8.10 to build!