fix publish issue #453

	name: lint

	on:
	workflow_dispatch:
	pull_request:
	push:
	branches:
	- master

	jobs:
	# Running pre-commit in CI. See semgrep/.pre-commit-config.yaml for
	# our pre-commit configuration.
	# Dogfood: note that we run Semgrep inside pre-commit, so this is also dogfooding
	# and testing how semgrep interact with pre-commit.
	pre-commit:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	persist-credentials: false
	# pre-commit is a Python script, this speedup things from Xmin to Ymin?
	- uses: actions/setup-python@v4
	with:
	python-version: "3.11"
	# note that in a CI context pre-commit runs the hooks with the '--all' flag, so
	# semgrep for example is passed all the files in the repository, not just
	# the one modifed in the PR (as it is the case when it's ran from git hooks locally).
	# This is why sometimes pre-commit passes locally but fails in CI, for the same PR.
	- uses: pre-commit/[email protected]
	github-actions:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: reviewdog/action-actionlint@v1
	with:
	fail_on_error: true

Provide feedback