Clean up (and inline) SimpleFilenameToStream.getLibraryPaths()
#794
Calvin-Lpr.yml
on: pull_request
Matrix: Examples Integration Tests
Matrix: TLA+ Tools Build & Test
Matrix: Eclipse Toolbox Build & Test
Annotations
16 errors and 4 warnings
|
Eclipse Toolbox Build & Test (macos-latest, mvn -Dmaven.test.skip=true)
Canceling since a higher priority waiting request for 'TLA+ PR Validation-1127' exists
|
|
Eclipse Toolbox Build & Test (macos-latest, mvn -Dmaven.test.skip=true)
The operation was canceled.
|
|
Examples Integration Tests (false)
Canceling since a higher priority waiting request for 'TLA+ PR Validation-1127' exists
|
|
Examples Integration Tests (false)
The operation was canceled.
|
|
Examples Integration Tests (true)
Canceling since a higher priority waiting request for 'TLA+ PR Validation-1127' exists
|
|
Examples Integration Tests (true)
The operation was canceled.
|
|
TLA+ Tools Build & Test (macos-latest)
Canceling since a higher priority waiting request for 'TLA+ PR Validation-1127' exists
|
|
TLA+ Tools Build & Test (macos-latest)
Process completed with exit code 1.
|
|
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 (macos-latest)
The operation was canceled.
|
|
TLA+ Tools Build & Test (ubuntu-latest)
Canceling since a higher priority waiting request for 'TLA+ PR Validation-1127' 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)
Process completed with exit code 1.
|
|
TLA+ Tools Build & Test (ubuntu-latest)
The operation was canceled.
|
|
Eclipse Toolbox Build & Test (ubuntu-latest, xvfb-run mvn -Dtest.skip=true -Dmaven.test.failure.i...
Canceling since a higher priority waiting request for 'TLA+ PR Validation-1127' exists
|
|
Eclipse Toolbox Build & Test (ubuntu-latest, xvfb-run mvn -Dtest.skip=true -Dmaven.test.failure.i...
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 (macos-latest)
No files were found with the provided path: tlatools/org.lamport.tlatools/target/surefire-reports/TEST-*.xml
tlatools/org.lamport.tlatools/target/surefire-reports/TESTS-TestSuites.xml
tlatools/org.lamport.tlatools/target/surefire-reports/junit-noframes.html. No artifacts will be uploaded.
|
|
TLA+ Tools Build & Test (ubuntu-latest)
No files were found with the provided path: tlatools/org.lamport.tlatools/target/surefire-reports/TEST-*.xml
tlatools/org.lamport.tlatools/target/surefire-reports/TESTS-TestSuites.xml
tlatools/org.lamport.tlatools/target/surefire-reports/junit-noframes.html. No artifacts will be uploaded.
|
|
TLA+ Tools Build & Test (ubuntu-latest)
⚠️ This usually indicates insufficient permissions. More details: https://github.com/mikepenz/action-junit-report/issues/23
|