Skip to content
Build on PR

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

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

Triggered via pull request October 27, 2023 17:15
@ahelwerahelwer
synchronize #96
ahelwer:examples-ci
Status Failure
Total duration 11m 12s
Artifacts –

pr.yml

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

Annotations

6 errors
Build and Test (ubuntu-latest, 2)
Process completed with exit code 1.
Build and Test (ubuntu-latest, 0)
Process completed with exit code 1.
Build and Test (ubuntu-latest, 1)
Process completed with exit code 1.
Build and Test (macos-latest, 2)
Process completed with exit code 1.
Build and Test (macos-latest, 0)
Process completed with exit code 1.
Build and Test (macos-latest, 1)
Process completed with exit code 1.