stop CI on outdatted commits #2

	name: PR Pre-Commit Bot
Check failure on line 1 in .github/workflows/prprecommit.yml View workflow run for this annotation GitHub Actions / .github/workflows/prprecommit.yml Invalid workflow file No steps defined in `steps` and no workflow called in `uses` for the following jobs: build
	env:
	JULIA_NUM_THREADS: 2
	concurrency:
	# group by workflow and ref; the last slightly strange component ensures that for pull
	# requests, we limit to 1 concurrent job, but for the master branch we don't
	group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'refs/heads/master' && github.ref != 'refs/heads/main') \|\| github.run_number }}
	# Cancel intermediate builds, but only if it is a pull request build.
	cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
	on:
	pull_request:
	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	pre-commit:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v3
	with:
	persist-credentials: false # otherwise, the token used is the GITHUB_TOKEN, instead of your personal token
	fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
	- name: Setup Python
	uses: actions/setup-python@v3
	- name: Run pre-commit
	uses: pre-commit/[email protected]
	- name: Commit files
	run: \|
	git config --local user.email "[email protected]"
	git config --local user.name "PR Pre-Commit Bot"
	git commit -m "add bot commits" -a
	- name: Push changes
	uses: ad-m/[email protected]
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: ${{ github.ref }}

Provide feedback