Bump actions/checkout from 4.1.1 to 4.1.2 #666

	name: ci
	on:
	push:
	branches:
	- develop
	pull_request:
	branches:
	- develop

	concurrency:
	group: ci-${{github.ref}}-${{github.event.pull_request.number \|\| github.run_number}}
	cancel-in-progress: true

	jobs:
	changes:
	runs-on: ubuntu-latest
	permissions:
	pull-requests: read
	outputs:
	docs: ${{ steps.filter.outputs.docs }}
	style: ${{ steps.filter.outputs.style }}
	run: ${{ steps.filter.outputs.run }}
	license: ${{ steps.filter.outputs.license }}

	steps:
	- uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633 # @v2
	if: ${{ github.event_name == 'push' }}
	with:
	fetch-depth: 0

	# For pull requests it's not necessary to checkout the code
	- uses: dorny/paths-filter@de90cc6fb38fc0963ad72b210f1f284cd68cea36
	id: filter
	with:
	filters: \|
	docs:
	- '.github/**'
	- 'docs/**'
	- 'README.rst'
	style:
	- '.github/**'
	- 'bin/**'
	- 'configs/**'
	- 'docs/conf.py'
	- 'experiments/**'
	- 'repo/**'
	run:
	- '.github/**'
	- 'bin/**'
	- 'configs/**'
	- 'experiments/**'
	- 'repo/**'
	license:
	- '.github/**'
	- 'bin/**'
	- 'configs/**'
	- 'docs/**'
	- 'experiments/**'
	- 'repo/**'

	docs:
	if: ${{ needs.changes.outputs.docs == 'true' }}
	needs: changes
	uses: ./.github/workflows/docs.yml

	style:
	if: ${{ needs.changes.outputs.style == 'true' }}
	needs: changes
	uses: ./.github/workflows/style.yml

	run:
	if: ${{ needs.changes.outputs.run == 'true' }}
	needs: changes
	uses: ./.github/workflows/run.yml

	license:
	if: ${{ needs.changes.outputs.license == 'true' }}
	needs: changes
	uses: ./.github/workflows/license.yml

Provide feedback