Skip to content

workbench: fixes #4113

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

Merged
merged 7 commits into from
Jun 29, 2022
Merged

workbench: fixes #4113

merged 7 commits into from
Jun 29, 2022

Conversation

deepfire
Copy link
Contributor

@deepfire deepfire commented Jun 29, 2022

  • fix the hydra-build-products
  • add the workbench-shell to CI
  • small quality-of-life improvements
  • drop use of the perf package in locli
  • simplify the top-level of profiles/profiles.jq

@deepfire deepfire requested a review from mgmeier as a code owner June 29, 2022 15:00
@deepfire deepfire force-pushed the bench-master branch 2 times, most recently from 198f7da to a2c7985 Compare June 29, 2022 18:36
@deepfire
Copy link
Contributor Author

bors r+

iohk-bors bot added a commit that referenced this pull request Jun 29, 2022
4113: workbench: fixes r=deepfire a=deepfire

- fix the `hydra-build-products`
- add the `workbench-shell` to CI
- small quality-of-life improvements

Co-authored-by: Kosyrev Serge <[email protected]>
@deepfire deepfire merged commit 42809ad into master Jun 29, 2022
@iohk-bors iohk-bors bot deleted the bench-master branch June 29, 2022 22:58
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Jun 29, 2022

This PR was included in a batch that successfully built, but then failed to merge into master (it was a non-fast-forward update). It will be automatically retried.

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.

2 participants