Skip to content

GeneralDichotomy implementation proposition #525

GeneralDichotomy implementation proposition

GeneralDichotomy implementation proposition #525

Re-run triggered June 30, 2026 00:45
Status Cancelled
Total duration 1h 22m 2s
Artifacts

ci.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
Julia 1 - windows-latest - x64 - pull_request
The run was canceled by @odow.
Julia 1 - windows-latest - x64 - pull_request
The operation was canceled.
CI
The run was canceled by @odow.
Julia 1.10 - ubuntu-latest - x64 - pull_request
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@5a3ec84eff668545956fd18022155c47e93e2684, actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea, julia-actions/setup-julia@v2, pyTooling/Actions/with-post-step@42e17fae05f224e5ac3d79d021a4e3577878efe5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Julia 1 - ubuntu-latest - x64 - pull_request
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@5a3ec84eff668545956fd18022155c47e93e2684, actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea, julia-actions/setup-julia@v2, pyTooling/Actions/with-post-step@42e17fae05f224e5ac3d79d021a4e3577878efe5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Julia 1 - windows-latest - x64 - pull_request
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@5a3ec84eff668545956fd18022155c47e93e2684, julia-actions/setup-julia@v2, pyTooling/Actions/with-post-step@42e17fae05f224e5ac3d79d021a4e3577878efe5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/