Bump actions/checkout from 4.1.4 to 4.1.5 in /.github/workflows #503

	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@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b # v4.1.5
	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