-
Notifications
You must be signed in to change notification settings - Fork 720
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
workbench: get rid of some unnecessary complications #4694
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is amazing work, thank you so much @fmaste !
We still need to fix the branch base & commit history. |
5c4ff32
to
03be05d
Compare
Ok, rebase fixed -- now we need |
4081698
to
5893ae2
Compare
2ed43b3
to
2618910
Compare
bors merge |
4694: workbench: get rid of some unnecessary complications r=fmaste a=fmaste Clearer modules dependencies. The general idea is: > backendName -> useCabalRun -> backend > stateDir -> batchName -> profileName -> backend -> workbench -> runner For this: - Moved 'services-config' back to profiles and out of the backends - Moved the backend dependency out from 'all-profiles' (workbench) - Removed 'stateDir' from the backends Also: - Remove unused code and parameters (or repeated defaults) - Variable renames for clarity - Makefile fixes Co-authored-by: Kosyrev Serge <serge.kosyrev@iohk.io> Co-authored-by: Federico Mastellone <federico.pascual-mastellone@iohk.io>
Timed out. |
bors merge |
4694: workbench: get rid of some unnecessary complications r=fmaste a=fmaste Clearer modules dependencies. The general idea is: > backendName -> useCabalRun -> backend > stateDir -> batchName -> profileName -> backend -> workbench -> runner For this: - Moved 'services-config' back to profiles and out of the backends - Moved the backend dependency out from 'all-profiles' (workbench) - Removed 'stateDir' from the backends Also: - Remove unused code and parameters (or repeated defaults) - Variable renames for clarity - Makefile fixes Co-authored-by: Kosyrev Serge <serge.kosyrev@iohk.io> Co-authored-by: Federico Mastellone <federico.pascual-mastellone@iohk.io>
Timed out. |
Co-authored-by: Federico Mastellone <federico.pascual-mastellone@iohk.io>
- Remove repeated code (services-config) from backends - Move 'services-config' to profiles and out of the backends - Move the backend dependency out from 'all-profiles' - Remove unused code and parameters or its defaults - Remove 'stateDir' from the backends - Renames for clarity
…s clutter in logs
2618910
to
963afb5
Compare
No failures in the Loki log[1] -- merging by hand, since BORS is temporarily gone. -- |
Clearer modules dependencies. The general idea is:
For this:
Also: