This repository was archived by the owner on Mar 13, 2024. It is now read-only.
File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed
Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 1010jobs :
1111 lint :
1212 # pull requests are a duplicate of a branch push if within the same repo.
13- if : github.event_name != 'pull_request' || github.event.repository .full_name != github.repository
13+ if : github.event_name != 'pull_request' || github.event.pull_request.head.repo .full_name != github.repository
1414 runs-on : ubuntu-latest
1515
1616 steps :
2929 tox -e pre-commit,mypy
3030
3131 test :
32- if : github.event_name != 'pull_request' || github.event.repository .full_name != github.repository
32+ if : github.event_name != 'pull_request' || github.event.pull_request.head.repo .full_name != github.repository
3333 strategy :
3434 fail-fast : false
3535 matrix :
6565 files : cov.xml
6666
6767 container :
68- if : github.event_name != 'pull_request' || github.event.repository .full_name != github.repository
68+ if : github.event_name != 'pull_request' || github.event.pull_request.head.repo .full_name != github.repository
6969 runs-on : ubuntu-latest
7070 permissions :
7171 contents : read
Original file line number Diff line number Diff line change 66
77jobs :
88 docs :
9- if : github.event_name != 'pull_request' || github.event.repository .full_name != github.repository
9+ if : github.event_name != 'pull_request' || github.event.pull_request.head.repo .full_name != github.repository
1010 strategy :
1111 fail-fast : false
1212 matrix :
You can’t perform that action at this time.
0 commit comments