Skip to content

7.1.1-release#2952

Merged
nicholascar merged 1 commit intomainfrom
7.1.1-release
Oct 28, 2024
Merged

7.1.1-release#2952
nicholascar merged 1 commit intomainfrom
7.1.1-release

Conversation

@nicholascar
Copy link
Copy Markdown
Member

7.1.1 release

Copy link
Copy Markdown
Contributor

@recalcitrantsupplant recalcitrantsupplant left a comment

Choose a reason for hiding this comment

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

Went through release with Nick

@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 90.284%. remained the same
when pulling 862d7af on 7.1.1-release
into 638a867 on main.

@nicholascar nicholascar merged commit eef28e0 into main Oct 28, 2024
@nicholascar nicholascar deleted the 7.1.1-release branch October 28, 2024 00:44
@ashleysommer
Copy link
Copy Markdown
Contributor

ashleysommer commented Oct 28, 2024

The file ./admin/get_merged_prs.py formatting messed up with this release again, leaving Black complaining about formatting issues, it got pushed to main just like last release, so all PRs are now failing against main.

Edit: Fix is here: #2954

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.

4 participants