Bump actions/checkout from 4.1.2 to 4.1.3 in /.github/workflows #493

	name: CI docs

	on:
	# NOTE: github.event context is push payload:
	# https://docs.github.com/en/developers/webhooks-and-events/webhooks/webhook-events-and-payloads#push
	push:
	branches:
	- main
	paths:
	- .github/workflows/docs.yml
	- docs/**

	# NOTE: github.event context is pull_request payload:
	# https://docs.github.com/en/developers/webhooks-and-events/webhooks/webhook-events-and-payloads#pull_request
	pull_request:
	paths:
	- .github/workflows/docs.yml
	- docs/**

	jobs:
	docs:
	if: '!github.event.repository.fork'
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@1d96c772d19495a3b5c517cd2bc0cb401ea0529f
	with:
	fetch-depth: 0
	- name: Setup
	run: \|
	make env-docs
	- name: Build the docs
	run: \|
	cd docs
	conda run --name conda-build-docs make html

Provide feedback