Fix docs deployment by setting right permissions (#273) #599

	# Linting and style checks with GitHub Actions
	#
	# NOTE: Pin actions to a specific commit to avoid having the authentication
	# token stolen if the Action is compromised. See the comments and links here:
	# https://github.com/pypa/gh-action-pypi-publish/issues/27
	#
	name: code-style

	# Only build PRs and the main branch. Pushes to branches will only be built
	# when a PR is opened.
	on:
	pull_request:
	push:
	branches:
	- main

	permissions: {}

	###############################################################################
	jobs:
	check:
	name: format and linting
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v6
	with:
	persist-credentials: false

	- name: Setup Python
	uses: actions/setup-python@v6
	with:
	python-version: "3.14"

	- name: Install requirements
	run: python -m pip install -r env/requirements-style.txt

	- name: List installed packages
	run: python -m pip freeze

	- name: Check code format and lint
	run: make check

Provide feedback