Skip to content

Conversation

@hiddeco
Copy link
Member

@hiddeco hiddeco commented Jun 30, 2023

Plus tweak the colors a tiny bit to ensure they are more distinctive.

Plus tweak the colors a tiny bit to ensure they are more distinctive.

Signed-off-by: Hidde Beydals <hidde@hhh.computer>
@hiddeco hiddeco added the area/ci CI related issues and pull requests label Jun 30, 2023
@hiddeco hiddeco merged commit 2b13f2b into main Jun 30, 2023
@hiddeco hiddeco deleted the use-standard-labels branch June 30, 2023 11:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/ci CI related issues and pull requests

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants