Skip to content
This repository was archived by the owner on Jun 5, 2025. It is now read-only.

Conversation

lukehinds
Copy link

This was failing all the time, and we don't need it anymore, the automation is in the project board.

@lukehinds lukehinds marked this pull request as ready for review February 3, 2025 08:25
@yrobla yrobla merged commit 0ee6ed2 into main Feb 3, 2025
4 checks passed
@yrobla yrobla deleted the rem-add-pr branch February 3, 2025 09:06
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants