Skip to content

Make sure $NUMPROC gets set, so cmake -j $NUMPROC works right #2

Make sure $NUMPROC gets set, so cmake -j $NUMPROC works right

Make sure $NUMPROC gets set, so cmake -j $NUMPROC works right #2

Workflow file for this run

name: Nudge PRs Towards `dev`
on:
pull_request_target:
types: [opened]
branches:
- main
jobs:
validate:
runs-on: ubuntu-latest
permissions:
issues: write
steps:
- name: Verify Target Branch
uses: Vankka/pr-target-branch-action@v2
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
target: main
exclude: dev # Allow going from dev -> main
change-to: dev
comment: |
Thank you for your contribution to melonDS DS!
Please note that pull requests should target the `dev` branch;
`main` is used for releases and should not be modified directly.
Your pull request's target has been set to `dev` automatically;
if there are any merge conflicts, please resolve them.