CI: Add --enable_assertions flag to tlaplus/examples scripts
#871
ahelwerpr.yml
on: pull_request
Matrix: Examples Integration Tests
Matrix: TLA+ Tools Build & Test
Matrix: Eclipse Toolbox Build & Test
Annotations
10 errors and 2 warnings
|
Examples Integration Tests (true)
Canceling since a higher priority waiting request for 'TLA+ PR Validation-1157' exists
|
|
Examples Integration Tests (true)
The operation was canceled.
|
|
Examples Integration Tests (false)
Canceling since a higher priority waiting request for 'TLA+ PR Validation-1157' exists
|
|
Examples Integration Tests (false)
The operation was canceled.
|
|
TLA+ Tools Build & Test (macos-latest)
Canceling since a higher priority waiting request for 'TLA+ PR Validation-1157' exists
|
|
TLA+ Tools Build & Test (macos-latest)
The operation was canceled.
|
|
TLA+ Tools Build & Test (macos-latest)
❌ Failed to create checks using the provided token. (HttpError: Resource not accessible by integration - https://docs.github.com/rest/checks/runs#create-a-check-run)
|
|
TLA+ Tools Build & Test (ubuntu-latest)
Canceling since a higher priority waiting request for 'TLA+ PR Validation-1157' exists
|
|
TLA+ Tools Build & Test (ubuntu-latest)
❌ Failed to create checks using the provided token. (HttpError: Resource not accessible by integration - https://docs.github.com/rest/checks/runs#create-a-check-run)
|
|
TLA+ Tools Build & Test (ubuntu-latest)
The operation was canceled.
|
|
TLA+ Tools Build & Test (macos-latest)
⚠️ This usually indicates insufficient permissions. More details: https://github.com/mikepenz/action-junit-report/issues/23
|
|
TLA+ Tools Build & Test (ubuntu-latest)
⚠️ This usually indicates insufficient permissions. More details: https://github.com/mikepenz/action-junit-report/issues/23
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
testresults-macos-latest
|
1.48 MB |
|
|
testresults-ubuntu-latest
|
4.46 MB |
|