shithub: rgbds

ref: 20a26599a3de9fa7c24f8daef7310721b2c2958a
dir: /.github/workflows/checkdiff.yml/

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