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

CI fixups #508

Merged
merged 15 commits into from
Sep 18, 2023
Merged

CI fixups #508

merged 15 commits into from
Sep 18, 2023

Conversation

bpkroth
Copy link
Contributor

@bpkroth bpkroth commented Sep 14, 2023

@bpkroth bpkroth requested a review from a team as a code owner September 14, 2023 18:52
Makefile Show resolved Hide resolved
@bpkroth bpkroth enabled auto-merge (squash) September 14, 2023 19:14
@bpkroth bpkroth added the ready for review Ready for review label Sep 14, 2023
Copy link
Member

@motus motus left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thank you!

@bpkroth bpkroth merged commit d2aa3a6 into microsoft:main Sep 18, 2023
11 checks passed
bpkroth added a commit that referenced this pull request Sep 18, 2023
Handles bugs from #508.

Also try and fix a quoting issues.
bpkroth added a commit to bpkroth/MLOS that referenced this pull request Sep 19, 2023
bpkroth added a commit that referenced this pull request Sep 20, 2023
One more minor tweak on #509 and #508. This allows us to force a rebuild
of the devcontainer with NO_CACHE=true manually without needing to push
an empty commit.
@bpkroth bpkroth deleted the licenseheader-rule-fixups branch October 10, 2023 15:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready for review Ready for review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants