diff --git a/.github/workflows/PROpened.yml b/.github/workflows/PROpened.yml new file mode 100644 index 0000000000..49fd2fe8ba --- /dev/null +++ b/.github/workflows/PROpened.yml @@ -0,0 +1,40 @@ +name: PROpened + +on: + pull_request: + types: [opened, reopened, synchronize] + +jobs: + build: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + with: + fetch-depth: 0 + show-progress: false + + - uses: actions/setup-python@v5 + with: + python-version: 3.x + cache: 'pip' + - run: pip install -r requirements.txt + + - name: Build + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + run: | + cat >Makefile.inc <