Skip to content

fix gitlab CI#100

Merged
jonasschwab merged 1 commit intomasterfrom
adap-gitlab-links-to-github
Feb 13, 2026
Merged

fix gitlab CI#100
jonasschwab merged 1 commit intomasterfrom
adap-gitlab-links-to-github

Conversation

@jonasschwab
Copy link
Contributor

No description provided.

@jonasschwab jonasschwab merged commit 2f36e23 into master Feb 13, 2026
22 of 32 checks passed
@jonasschwab jonasschwab deleted the adap-gitlab-links-to-github branch February 13, 2026 09:28
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.

1 participant