diff --git a/.github/settings.yml b/.github/settings.yml index bb6c823..908b477 100644 --- a/.github/settings.yml +++ b/.github/settings.yml @@ -126,13 +126,16 @@ branches: # Required. Require branches to be up to date before merging. strict: true # Required. The list of status checks to require in order to merge into this branch - contexts: [ "bors" ] + contexts: + - ci/hercules/derivations + - ci/hercules/effects + - ci/hercules/evaluation # Required. Enforce all configured restrictions for administrators. Set to true to enforce required status checks for repository administrators. Set to null to disable. enforce_admins: false # Disabled for bors to work required_linear_history: false # Required. Restrict who can push to this branch. Team and user restrictions are only available for organization-owned repositories. Set to null to disable. restrictions: - apps: [ "bors" ] + apps: [] users: [] teams: []