Skip to content

Conversation

@omus
Copy link
Member

@omus omus commented Nov 26, 2025

Using this has two advantages:

  • We can reduce the number of CI jobs when version specifiers resolve to the same version
  • The Julia version used can be shown in the job name

@omus omus merged commit b1adccf into master Nov 26, 2025
26 checks passed
@omus omus deleted the cv/julia-version branch November 26, 2025 20:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants