Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use stable Julia version #379

Closed
wants to merge 1 commit into from
Closed

Use stable Julia version #379

wants to merge 1 commit into from

Conversation

devmotion
Copy link
Member

This PR updates the CI setup and the Manifest files of the tutorials to the latest stable Julia version (currently Julia 1.8.5). With the recent move away from CompatHelper to a weekly update of the Manifest files (maybe could be relaxed to a two weeks interval, to reduce maintenance burden, CI time, and size of artifacts?), it seems feasible now to (try to) keep up with the stable Julia versions.

Fixes #378.

@devmotion
Copy link
Member Author

Closed in favour of #394.

@devmotion devmotion closed this Jun 25, 2023
@devmotion devmotion deleted the dw/julia_stable branch June 25, 2023 20:43
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.

Reproducibility between Julia < 1.7 and >= 1.7
1 participant