Add accpeted PR on two newly found tests #4692
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
'on': | |
push: null | |
pull_request: null | |
workflow_dispatch: null | |
jobs: | |
format-checker: | |
runs-on: ubuntu-latest | |
env: | |
# When there is no base commit (e.g., first push to a new branch), | |
# GitHub assigns a string of zeros to event.before. It's necessary to | |
# handle this separately | |
NULL_COMMIT: '0000000000000000000000000000000000000000' | |
steps: | |
- uses: actions/checkout@v3 | |
with: | |
fetch-depth: 0 | |
- name: Install Python 3 | |
uses: actions/setup-python@v4 | |
with: | |
python-version: 3.10.6 | |
- name: Install dependencies | |
run: | | |
python -m pip install --upgrade pip | |
pip install -r format_checker/requirements.txt | |
# Only run this step if the event is a push and event.before shows | |
# that it's the first push to a new branch | |
- if: >- | |
${{github.event_name == 'push' && github.event.before == | |
env.NULL_COMMIT}} | |
name: Run format checker on new branch | |
run: > | |
python format_checker/main.py ${{github.event.before}} | |
${{github.event.commits[0].id}} ${{github.event.after}} | |
# Only run this step if the event is a pull request | |
- if: ${{github.event_name == 'pull_request'}} | |
name: Run format checker on pull request | |
run: > | |
python format_checker/main.py ${{github.event.pull_request.base.sha}} | |
${{github.event.pull_request.head.sha}} | |
# Only run this step if the event is a push and it's not the first one | |
# to a new branch | |
- if: >- | |
${{github.event_name == 'push' && github.event.before != | |
env.NULL_COMMIT}} | |
name: Run format checker on push | |
run: > | |
python format_checker/main.py ${{github.event.before}} | |
${{github.event.after}} |