Skip to content

[DOC CI] update julia version#197

Merged
aelligp merged 1 commit into
mainfrom
pa-docs
Apr 2, 2026
Merged

[DOC CI] update julia version#197
aelligp merged 1 commit into
mainfrom
pa-docs

Conversation

@aelligp
Copy link
Copy Markdown
Member

@aelligp aelligp commented Apr 2, 2026

Whats the purpose of this PR?

  • Bug fix
  • New feature
  • Documentation update
  • Other, please explain

Describe it in more detail below:
Bumps Julia version in the documenter CI that resulted in a compatibility issue. We still used v1.9 which is too old anyways

Checklist

  • The PR title is descriptive and starts with the appropriate tag: [BUGFIX], [ADDITION], [DOC], etc.
  • New tests (either assessing the correct behaviour of new internal functions or the correctness of a tutorial) were added, or old tests were updated
  • Affected tutorials have also been updated
  • The new feature was added in a way that does not break public API
  • New documentation related to the new feature was added
  • The new code follows the contributor guidelines, in particular the Runic Style

@aelligp aelligp merged commit f326822 into main Apr 2, 2026
14 of 16 checks passed
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