Change init_julia slightly to adapt to 1.12 changes #560
Triggered via pull request
August 26, 2025 17:15
gbaraldi
Status
Failure
Total duration
2h 27m 2s
Artifacts
–
Annotations
7 errors and 6 notices
|
test (pre, 64, macos-14, true)
Process completed with exit code 1.
|
|
test (pre, 64, ubuntu-latest, true)
Process completed with exit code 1.
|
|
test (pre, 32, ubuntu-latest, true)
Process completed with exit code 1.
|
|
test (pre, 32, windows-latest, true)
Process completed with exit code 1.
|
|
test (pre, 64, windows-latest, true)
Process completed with exit code 1.
|
|
test (pre, 64, macos-13, true)
Process completed with exit code 1.
|
|
finalize
Process completed with exit code 1.
|
|
test (1.10, 64, windows-latest, true)
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 (1.10, 32, windows-latest, true)
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 (1.11, 64, windows-latest, true)
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 (1.11, 32, windows-latest, true)
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 (pre, 32, windows-latest, true)
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 (pre, 64, windows-latest, true)
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
|