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.

Sign up for GitHub

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

Jump to bottom

small improvement in tags workflow #82

Merged

mdpadberg merged 1 commit into main from small-improvement-in-tags-workflow

Nov 28, 2023

Owner

mdpadberg commented Nov 28, 2023 •

edited

Loading

Thanks for opening this pull request

Please check if all the following actions are taken:

The title of this pull request clearly describes what the code is doing
This pull request contains one or more labels
This pull request is linked to one or more related issues
This pull request contains extra tests to cover the use cases of the new or changed code
The build for this pull request is green


          small improvement in tags workflow

c0208d8

mdpadberg added the chore label

mdpadberg merged commit 20c41ef into main

5 checks passed

mdpadberg deleted the small-improvement-in-tags-workflow branch

November 28, 2023 08:51

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore