name: Basic checks
on:
  pull_request:
  push:
    branches:
    - master
jobs:
  basic-checks:
    runs-on: ubuntu-latest
    steps:
    - name: Checkout
      uses: actions/checkout@v4
    - name: Check for duplicate files
      run: dev/tools/check-duplicate-files.sh
    - name: Check that All.v is up to date
      run: dev/tools/check-all.sh
