Skip to content

Update artifacts in documentation#543

Closed
juanangp wants to merge 1 commit into
masterfrom
artifacts-update-doc
Closed

Update artifacts in documentation#543
juanangp wants to merge 1 commit into
masterfrom
artifacts-update-doc

Conversation

@juanangp

@juanangp juanangp commented Feb 5, 2025

Copy link
Copy Markdown
Member

juanangp Ok: 2 Powered by Pull Request Badge

Update artifacts is failing due to deplecated versions

@juanangp juanangp requested a review from nkx111 as a code owner February 5, 2025 11:13
@AlvaroEzq

Copy link
Copy Markdown
Contributor

These changes are also in PRs #500 & #501

@juanangp

juanangp commented Feb 5, 2025

Copy link
Copy Markdown
Member Author

These changes are also in PRs #500 & #501

Already merged, do you know if we have more PR triggered by the bot?

@juanangp

juanangp commented Feb 5, 2025

Copy link
Copy Markdown
Member Author

Closed, since merged in #500 & #501

@juanangp juanangp closed this Feb 5, 2025
@AlvaroEzq

Copy link
Copy Markdown
Contributor

These changes are also in PRs #500 & #501

Already merged, do you know if we have more PR triggered by the bot?

Yes, #499 and #503.

But @lobis suggested not to merge #503 (see the PR comments)

@lobis

lobis commented Feb 5, 2025

Copy link
Copy Markdown
Member

These changes are also in PRs #500 & #501

Already merged, do you know if we have more PR triggered by the bot?

Yes, #499 and #503.

But @lobis suggested not to merge #503 (see the PR comments)

Yes, I remember it wasn't straightforward to update this, but feel free to try.

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.

3 participants