Skip to content

bash shell

bash shell #5

Triggered via push October 15, 2024 14:24
Status Failure
Total duration 35s
Artifacts
release_extra_unit_tests
14s
release_extra_unit_tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
release_extra_unit_tests
An error occurred trying to start process 'C:\Program Files\Git\bin\bash.EXE' with working directory 'D:\a\HiGHS\HiGHS\$GITHUB_WORKSPACE/check'. The directory name is invalid.