Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(tokens): merge tokens into main #3605

Merged
merged 21 commits into from
Oct 1, 2024
Merged

chore(tokens): merge tokens into main #3605

merged 21 commits into from
Oct 1, 2024

Conversation

schaertim
Copy link
Contributor

No description provided.

oliverschuerch and others added 21 commits September 19, 2024 15:25
refactor(tokens): rewired some tokens on a semantic level that were put in wrong before
refactor(tokens):shortened utility spacing tokens
…sign

refactor(tokens): rewrote some tokens in the switch component for better understanding
@schaertim schaertim requested a review from a team as a code owner October 1, 2024 08:11
Copy link

changeset-bot bot commented Oct 1, 2024

⚠️ No Changeset found

Latest commit: 77881d0

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@swisspost-bot
Copy link
Contributor

Related Previews
Preview URLs will be added here, once they are ready... loader

Copy link

sonarcloud bot commented Oct 1, 2024

@schaertim schaertim merged commit b781988 into main Oct 1, 2024
8 of 11 checks passed
@schaertim schaertim deleted the merge-tokens branch October 1, 2024 08:31
Copy link
Member

@gfellerph gfellerph left a comment

Choose a reason for hiding this comment

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

Build is broken

schaertim added a commit that referenced this pull request Oct 1, 2024
gfellerph pushed a commit that referenced this pull request Oct 1, 2024
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.

6 participants