name: On push to a PR

on:
  pull_request:

jobs:
  run-tests-for-pr:
    uses: ./.gitea/workflows/run-tests.yml
    with:
      target: ${{ github.event.pull_request.head.sha }}