github login is no longer necessary (#10)

* github login is no longer necessary

* coverage branch is no longer necessary
This commit is contained in:
koide3 2024-04-03 13:41:52 +09:00 committed by GitHub
parent d328d4ee21
commit 4d9923fd4f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 2 additions and 5 deletions

View File

@ -22,7 +22,6 @@ jobs:
steps:
- uses: actions/checkout@v2
with:
token: ${{ secrets.GH_PAT }}
submodules: recursive
- name: Docker login

View File

@ -2,10 +2,10 @@ name: Coverage
on:
push:
branches: [ master, coverage ]
branches: [ master ]
paths-ignore: '**.md'
pull_request:
branches: [ master, coverage ]
branches: [ master ]
paths-ignore: '**.md'
# Allows you to run this workflow manually from the Actions tab
@ -18,7 +18,6 @@ jobs:
steps:
- uses: actions/checkout@v2
with:
token: ${{ secrets.GH_PAT }}
submodules: recursive
- name: Install Dependencies

View File

@ -18,7 +18,6 @@ jobs:
steps:
- uses: actions/checkout@v2
with:
token: ${{ secrets.GH_PAT }}
submodules: recursive
- name: Install Dependencies