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

Conversation

@martialblog
Copy link
Member

Fixes #192

@martialblog martialblog self-assigned this Jan 17, 2023
@martialblog martialblog merged commit 59a97ed into master Jan 17, 2023
@martialblog martialblog deleted the move-gh-workflow branch January 17, 2023 15:18
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.

Move GitLab workflow in front of GitHub workflow

2 participants