Skip to content

print pull request url to github summary - #45

Merged
LukasJenicek merged 2 commits into
masterfrom
add_summary
Oct 15, 2024
Merged

LukasJenicek merged 2 commits into
masterfrom
add_summary

Conversation

@LukasJenicek

@LukasJenicek LukasJenicek commented Oct 15, 2024 •

Copy link
Copy Markdown
Contributor

@LukasJenicek
LukasJenicek force-pushed the add_summary branch 16 times, most recently from dd43fb7 to 14408e2 Compare October 15, 2024 10:00
@LukasJenicek
LukasJenicek force-pushed the add_summary branch 13 times, most recently from 0713259 to b9b6826 Compare October 15, 2024 11:23
@LukasJenicek
LukasJenicek force-pushed the add_summary branch 6 times, most recently from 153b00d to 725623f Compare October 15, 2024 11:32
@LukasJenicek
LukasJenicek merged commit 9462083 into master Oct 15, 2024
@LukasJenicek
LukasJenicek deleted the add_summary branch October 15, 2024 11:37
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