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

Avoid duplicate AppVeyor builds #2952

Merged
merged 1 commit into from
Aug 18, 2021
Merged

Avoid duplicate AppVeyor builds #2952

merged 1 commit into from
Aug 18, 2021

Conversation

nlohmann
Copy link
Owner

This PR sets the option

skip_branch_with_pr: true

to avoid duplicate AppVeyor builds in case @nlohmann commits to a pull request.

@nlohmann nlohmann self-assigned this Aug 18, 2021
@nlohmann nlohmann marked this pull request as draft August 18, 2021 17:54
@nlohmann nlohmann marked this pull request as ready for review August 18, 2021 18:03
@nlohmann nlohmann added this to the Release 3.10.1 milestone Aug 18, 2021
@nlohmann nlohmann merged commit de4a634 into develop Aug 18, 2021
@nlohmann nlohmann deleted the fewer_appveyor_builds branch August 18, 2021 18:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@nlohmann nlohmann

Labels
release item: 🔨 further change
Projects
None yet
Milestone
Release 3.10.1
Development

Successfully merging this pull request may close these issues.
1 participant
@nlohmann