Skip to content

[Backport 2.13-maintenance] Test store paths, with property tests, fix bug#7664

Merged
roberth merged 3 commits into2.13-maintenancefrom
backport-7639-to-2.13-maintenance
Jan 23, 2023
Merged

[Backport 2.13-maintenance] Test store paths, with property tests, fix bug#7664
roberth merged 3 commits into2.13-maintenancefrom
backport-7639-to-2.13-maintenance

Conversation

@github-actions
Copy link

Bot-based backport to 2.13-maintenance, triggered by a label in #7639.

Ericson2314 and others added 3 commits January 23, 2023 14:21
Property tests are great!

Co-authored-by: Cole Helbling <[email protected]>
(cherry picked from commit 7fe308c)
The property test in fact found a bug: we were excluding numbers!

(cherry picked from commit 018e257)
@roberth roberth closed this Jan 23, 2023
@roberth roberth reopened this Jan 23, 2023
@roberth roberth merged commit aff2c1c into 2.13-maintenance Jan 23, 2023
@roberth
Copy link
Member

roberth commented Jan 23, 2023

@Ericson2314
Copy link
Member

checking for rapidcheck/gtest.h... no
checking for  in -lrapidcheck... no

on the master version too. So that's worth investigating.

@edolstra
Copy link
Member

We should avoid backports like this. This adds a required dependency which is not what people expect in a point release. The backport should only include the actual bug fix.

@roberth
Copy link
Member

roberth commented Jan 24, 2023

It does contain a fix, re-adding digits to the allowed output names.
It's not a trivial revert, but we could remove the test dependency. Personally I wouldn't bother this time, because we haven't produced a valid release for Nixpkgs yet, and there's the potential benefit of making future backports easier, if they have property tests, but I'll keep it in mind for future backports.

@Ericson2314
Copy link
Member

I think it is good to note that if one does doCheck = false, there is no added dependency added in principle.

@edolstra
Copy link
Member

edolstra commented Jan 25, 2023

The point is that making invasive, potentially destabilizing changes on master (like adding a new test framework) and then immediately backporting them to the maintenance branch defeats the whole purpose of the maintenance branch. We should not get in the habit of just adding the "backport" label to big PRs.

(For instance, this did break the coverage job, leaving the maintenance branch in an unreleasable state.)

@roberth
Copy link
Member

roberth commented Jan 25, 2023

Fair enough. I do think this would be a non-issue if we emphasized CI instead of release management, but we don't have to modernize everything this week ;)

@roberth
Copy link
Member

roberth commented Jan 25, 2023

I've opened #7687

emphasized CI instead of release management

Not meaning to say release management isn't needed, just that this wouldn't be much of a problem if the testing was actually continuous. I'm all for good habits, whether it's testing or release management.

@edolstra
Copy link
Member

It's not really a CI issue. Downstream packagers probably also don't expect point releases to introduce new dependencies.

And of course we do have a CI for this, namely Hydra.

@roberth
Copy link
Member

roberth commented Jan 25, 2023

I wouldn't call that continuous, and downstream hasn't completed packaging the minor version yet. But I agree that we generally shouldn't rely on such an assumption. That's why I've opened #7687, even this time.

@edolstra edolstra deleted the backport-7639-to-2.13-maintenance branch March 29, 2024 15:20
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