Unify pr/main workflows and use tlaplus/examples as integration tests #274
Triggered via pull request
November 15, 2023 15:14
ahelwer
Status
Failure
Total duration
1d 2h 18m 58s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
6 errors
|
Build and Test (ubuntu-latest, 1)
Process completed with exit code 1.
|
|
Build and Test (ubuntu-latest, 0)
Process completed with exit code 1.
|
|
Build and Test (ubuntu-latest, 2)
Process completed with exit code 1.
|
|
Build and Test (macos-latest,, 1)
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
Build and Test (macos-latest,, 2)
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|
|
Build and Test (macos-latest,, 0)
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|