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.

Sign up for GitHub

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

Jump to bottom

Build pipeline rework. #177

Merged
merged 4 commits into from
Nov 11, 2019
Merged

Build pipeline rework. #177

merged 4 commits into from
Nov 11, 2019

Conversation

dpetrick
Copy link
Contributor

@dpetrick dpetrick commented Nov 11, 2019 •
edited by janpio

part of #37

@dpetrick
Redo pipeline binding.
af8fee3 
Remove engine-build-cli submodule.
Cleanup legacy configs flying around.
@dpetrick
Enable build script failing on error
964f1f1
@dpetrick
Add darwin fetch for engineer binary.
60db29e
@dpetrick
Update Makefile.
a74ce4c 
Use dedicated docker compose file.
@dpetrick dpetrick merged commit 3c59ba4 into master Nov 11, 2019
@dpetrick dpetrick deleted the pipeline_rework branch November 11, 2019 15:22
@janpio janpio added this to the Preview 17 milestone Nov 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@dpetrick dpetrick

Labels
None yet
Projects
None yet
Milestone
Preview 17
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@dpetrick @janpio