-
Notifications
You must be signed in to change notification settings - Fork 205
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
work around Azure/GitHub disagreement
Azure used to report the status of the entire build to GitHub, which we use as the "required check" for PRs to be merged. Ir doesn't do that anymore which means we can't merge anything. It's unclear whether or not that is a deliberate change. This attempts to work around that by creating an extra job that depends on all the other, which GitHub could depend on. CHANGELOG_BEGIN CHANGELOG_END
- Loading branch information
1 parent
19a7f32
commit 57a2333
Showing
1 changed file
with
69 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters