Browse Source

CI: Change job name to 'build'

pull/1499/head
josetr 5 years ago committed by GitHub
parent
commit
3e8bf0c296
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      .github/workflows/main.yml

2
.github/workflows/main.yml

@ -3,7 +3,7 @@ name: CI @@ -3,7 +3,7 @@ name: CI
on: [push, pull_request]
jobs:
job:
build:
if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
strategy:
fail-fast: false

Loading…
Cancel
Save