Repository navigation

Skip GITHUB_TOKEN-incompatible push-perm probe in script/publish under Actions #80

	name: GitHub Actions security analysis

	on:
	pull_request:
	push:
	branches:
	- main

	permissions: {}

	jobs:
	zizmor:
	name: Run zizmor
	runs-on: ubuntu-latest
	permissions:
	security-events: write
	steps:
	- name: Checkout repository
	uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
	with:
	persist-credentials: false
	- name: Run zizmor
	uses: zizmorcore/zizmor-action@3dc1ecc9bcb9e94e9b2c709687979e1298497054 # v0.6.2