Skip to content
CI

Typo #939

Sign in to view logs

Typo

Typo #939

Re-run triggered January 14, 2025 00:12
@lemmylemmy
9d9cbaa
master
Status Failure
Total duration 2m 54s
Artifacts 2

main.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 2 warnings
build (ubuntu-latest)
Process completed with exit code 1.
build (macos-latest)
unable to access 'https://github.com/tlaplus/tlaplus/': The requested URL returned error: 502
build (macos-latest)
unable to access 'https://github.com/tlaplus/tlaplus/': The requested URL returned error: 500
build (macos-latest)
unable to access 'https://github.com/tlaplus/tlaplus/': The requested URL returned error: 502
build (macos-latest)
The process '/opt/homebrew/bin/git' failed with exit code 128
build (macos-latest)
Process completed with exit code 1.
build (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (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.