Skip to content

Conversation

amontoison
Copy link
Member

No description provided.

@amontoison amontoison merged commit 303aa17 into main Jul 22, 2025
7 of 9 checks passed
@amontoison amontoison deleted the fix_ci branch July 22, 2025 05:59
@tmigot
Copy link
Member

tmigot commented Jul 22, 2025

???

@amontoison
Copy link
Member Author

You merged an old PR where all CI builds where failing Tangi. Because test/Project.toml needed to be updated.

@amontoison
Copy link
Member Author

Also we bump the version of Julia from.1.6 to 1.10. The goal of this PR is to replace 1.6 by lts in the YAML file.

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