enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-23 19:21:54 +03:00
Code Issues Projects Releases Wiki Activity

Update settings.yml

Browse Source 
Engine job names.
This commit is contained in:
Michał Wawrzyniec Urbańczyk 2022-07-03 17:16:23 +02:00 committed by GitHub
parent 7c0330290f
commit 1dc4f56f50
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/settings.yml vendored
View File

@ -214,8 +214,8 @@ branches:
# Require branches to be up-to-date before merging. # Require branches to be up-to-date before merging.
strict: true strict: true
contexts: contexts:
- "Engine (Linux)" - "Engine (linux)"
- "Engine (Windows)" - "Engine (windows)"
# The macOS job is intentionally omitted. # The macOS job is intentionally omitted.
- "Docs Check" - "Docs Check"
- "Verify Notice Package" - "Verify Notice Package"