Skip to content

Conversation

@omus
Copy link
Member

@omus omus commented Nov 25, 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 e581cb0 into main Nov 25, 2025
7 checks passed
@omus omus deleted the cv/use-julia-version branch November 25, 2025 16:05
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