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.

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

#50: Add tags to CI output #69

Merged
merged 3 commits into from
Jul 13, 2023
Merged

#50: Add tags to CI output #69

merged 3 commits into from
Jul 13, 2023

Conversation

Mirabellensaft
Copy link
Contributor

No description provided.

@Mirabellensaft Mirabellensaft changed the title edit names #50: Add tags to CI output Jun 14, 2023
@jonathanpallant jonathanpallant self-assigned this Jul 12, 2023
@jonathanpallant
Copy link
Member

I'll look at this.

@jonathanpallant jonathanpallant force-pushed the tag-ci-output branch 8 times, most recently from 551f4eb to 29f7bc9 Compare July 12, 2023 16:04
@jonathanpallant jonathanpallant marked this pull request as ready for review July 12, 2023 16:06
@jonathanpallant jonathanpallant merged commit 0e58d8b into main Jul 13, 2023
@jonathanpallant jonathanpallant mentioned this pull request Jul 13, 2023
Closed
@tshepang tshepang deleted the tag-ci-output branch July 13, 2023 10:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pietroalbini pietroalbini pietroalbini approved these changes

Assignees

@jonathanpallant jonathanpallant

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Mirabellensaft @jonathanpallant @pietroalbini