shithub: rgbds

ref: 78e751f022a5aa3a6ffc4fd08a81fc408c5b70d4
dir: /.github/workflows/checkdiff.yml/

View raw version
name: "Code coverage checking"
on: pull_request

jobs:
  checkdiff:
    runs-on: ubuntu-latest
    steps:
      - name: Set up repo
        run: |
          git clone -b "${{ github.event.pull_request.head.ref }}" "${{ github.event.pull_request.head.repo.clone_url }}" rgbds
          cd rgbds
          git remote add upstream "${{ github.event.pull_request.base.repo.clone_url }}"
          git fetch upstream
      - name: Checkdiff
        working-directory: rgbds
        run: |
          make checkdiff "BASE_REF=${{ github.event.pull_request.base.sha }}" Q= | tee log