Repository navigation

feat(docker-build): make the Docker Hub pull login opt-out and skip it when pushing to Docker Hub #118

	name: Verify all

	on:
	push:
	branches: [main]
	pull_request:

	permissions: {}

	# Cancelling a push to main would leave that commit unverified.
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: ${{ github.event_name == 'pull_request' }}

	jobs:
	lint:
	name: Verify all
	runs-on: ubuntu-latest
	permissions:
	contents: read # required for checkout
	steps:
	- name: Checkout
	uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
	with:
	persist-credentials: false
	- name: Setup mise
	uses: jdx/mise-action@c2a87611a18de5b3828c5652fe268e992400cb5c # v4.3.0
	with:
	minimum_release_age: 7d
	- name: Run verify-all
	run: mise run verify-all