Skip to content

Conversation

MrKevinWeiss
Copy link
Contributor

Adds CI and reworks a simple doctest

Copy link
Member

@jia200x jia200x left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ACK

@miri64
Copy link
Member

miri64 commented Apr 25, 2023

Note that there is also https://github.com/RIOT-OS/RIOT-release-manager/tree/tests which I never managed to bring into full working order.

@MrKevinWeiss
Copy link
Contributor Author

I wasn't aware of it, We can probably expand but I think just doing some simple doctests is a clean and maintainable way to start.

@miri64
Copy link
Member

miri64 commented Apr 26, 2023

Yepp, just wanted to point out, that there was work already done and that it can be picked up, if anyone desires to :-).

@miri64
Copy link
Member

miri64 commented Dec 10, 2024

@MrKevinWeiss can you rebase, please?

Comment on lines +143 to +144
merge_lines = [line for line in log.splitlines() if line.strip().startswith('Merge #')]
return [int(line) for line in re.findall(r"#([0-9]+)", '\n'.join(merge_lines))]
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Probably should now be

Suggested change
merge_lines = [line for line in log.splitlines() if line.strip().startswith('Merge #')]
return [int(line) for line in re.findall(r"#([0-9]+)", '\n'.join(merge_lines))]
return [int(line["PR"]) for line in re.findall(r"(Merge pull request|Merge) #(?P<PR>[0-9]+)"), log]

this way we are also backwards compatible with bors based PRs.

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.

3 participants