Skip to content

Use min instead of min-patch for the Julia version in CI - #1024

Merged
devmotion merged 1 commit into
masterfrom
an/ci-min
Nov 10, 2026
Merged

Use min instead of min-patch for the Julia version in CI#1024
devmotion merged 1 commit into
masterfrom
an/ci-min

Commits

  1. Commits on Nov 10, 2026