Skip to content

Why are we behind main in the dev? #3

Merged
w4hns1nn merged 11 commits into
devfrom
main
Jun 18, 2026
Merged

Why are we behind main in the dev? #3
w4hns1nn merged 11 commits into
devfrom
main

Conversation

@w4hns1nn

Copy link
Copy Markdown
Collaborator

We skipped the "test" for the docs. But dev should never be behind main.
That's unfortunate.

@w4hns1nn w4hns1nn merged commit 35e457d into dev Jun 18, 2026
2 checks passed
w4hns1nn added a commit that referenced this pull request Jun 18, 2026
Merge pull request #3 from SocAIty/main
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.

2 participants