Skip to content

Conversation

AoifeHughes
Copy link
Contributor

Changed Turing -> Turing.jl in footer.

@AoifeHughes AoifeHughes self-assigned this Sep 18, 2025
@AoifeHughes AoifeHughes added the quick-win pick these off label Sep 18, 2025
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

Updates the footer text to correctly specify "Turing.jl" instead of just "Turing" and adjusts the verb tense for better grammar consistency.

  • Changes "Turing is created" to "Turing.jl was created" in the footer text

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

Copy link
Member

@penelopeysm penelopeysm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lemme just hit the update button for a bunch of packages because CI demands it

CI doesn't demand it -- it's not all the other package versions that matter, it's only the version of Turing that matters. So unless you are specifically updating the Turing version, like what is happening in #636, you don't need to update deps.

It also saves CI time to not update the non-Turing deps because then Quarto can reuse a lot of cached things.

@AoifeHughes
Copy link
Contributor Author

I don't understand, I thought from previous similar issues the solution was to use juliaup.Are these two separate issues and I shouldn't generally do the 'up' command before a PR/push?

@AoifeHughes
Copy link
Contributor Author

can someone with write access approve / merge this? @penelopeysm @mhauru

@penelopeysm penelopeysm merged commit 8bbaed1 into main Sep 22, 2025
0 of 2 checks passed
@penelopeysm penelopeysm deleted the spelling-fix branch September 22, 2025 10:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
quick-win pick these off
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants