Skip to content

Make thread pool has at leat one core thread, but allow for a timeout #371

Make thread pool has at leat one core thread, but allow for a timeout

Make thread pool has at leat one core thread, but allow for a timeout #371

Triggered via push September 10, 2025 10:30
Status Failure
Total duration 33m 50s
Artifacts –

build.yaml

on: push
checker-framework
31s
checker-framework
lint
30s
lint
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 2 notices
test (ubuntu-latest, 11)
Process completed with exit code 1.
test (macos-latest, fsevents, 21)
Process completed with exit code 1.
test (windows-latest, 21)
Process completed with exit code 1.
test (windows-latest, 11)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
test (windows-latest, 21)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677