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.

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

Drop inspector and related features #240

Merged
merged 4 commits into from
Nov 29, 2023
Merged

Drop inspector and related features #240

merged 4 commits into from
Nov 29, 2023

Conversation

alecandido
Copy link
Member

The only module preserved in the input subpackage is the compatibility one (since I believe is heavily used).

Originally, I wanted to introduce in this PR even the new runcard format, as I did in EKO (and rename the input subpackage to io, to mirror the same structure in both packages).
However, dropping the inspector has almost no consequence, in practice, since it is barely used (and almost not even tested, since some of them were skipped).
But adding the new runcards could be a breaking change, and we'll definitely need some more time for them, with potentially limited benefits in the short term.

I might author a draft PR about the new runcards in the next days, but for sure I'd like to keep it separate from this one (that is ready to merge, once reviewed).

@alecandido alecandido changed the base branch from master to nix November 5, 2023 15:42
@alecandido
Copy link
Member Author

Despite I declared this to be ready to merge, remember that is pointing to #239. Thus, we should wait for that to be merged first (or rebase on master before merging).

The two of them should be pretty independent (the only file touched by both is .gitignore, and I'm about to move that commit on the other side).

@felixhekhorn
Copy link
Contributor

Can we merge this? either with #239 or without ... cc @Radonirinaunimi

@alecandido
Copy link
Member Author

This is separate from #239, exactly because in this way you could rebase and merge on its own.

However, #239 is not harmful (worst case it's junk), so you could even merge both without major drawbacks.

Base automatically changed from nix to master November 29, 2023 09:16
@felixhekhorn felixhekhorn merged commit 4ec2fd8 into master Nov 29, 2023
4 of 5 checks passed
@felixhekhorn felixhekhorn deleted the ditch-inspector branch November 29, 2023 09:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
refactor Refactor code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants