build(deps): bump codecov/codecov-action from 6 to 7 #69

	name: Documentation (PR)

	on: [pull_request]

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	permissions:
	actions: write
	pull-requests: read
	contents: read
	statuses: write
	issues: write

	jobs:
	docs:
	name: "Build documentation"
	runs-on: ubuntu-latest
	env:
	CC: gcc
	CXX: g++
	CXXFLAGS: -fdiagnostics-color -O2
	steps:
	- uses: actions/checkout@v6

	- name: Install system dependencies
	run: \|
	sudo apt-get --yes update
	sudo apt-get install --yes \
	git \
	pkg-config \
	m4 \
	libtool \
	automake \
	autoconf \
	libtool-bin

	- name: Clone libsemigroups
	run: \|
	git clone https://github.com/libsemigroups/libsemigroups.git --depth 1 --branch main
	cd libsemigroups
	git submodule update --init --recursive

	- name: Build and install libsemigroups
	run: \|
	cd libsemigroups
	mkdir -p m4
	./autogen.sh
	./configure CXX="$CXX" CXXFLAGS="$CXXFLAGS" --disable-hpcombi
	make -j$(nproc)
	sudo make install
	sudo ldconfig

	- uses: julia-actions/setup-julia@v3
	with:
	version: "1.10"

	- uses: julia-actions/cache@v3

	- name: "Build package"
	uses: julia-actions/julia-buildpkg@v1

	- run: \|
	julia --project=docs --color=yes -e '
	using Pkg
	Pkg.develop(PackageSpec(path=pwd()))
	Pkg.instantiate()'

	- name: Build documentation
	run: \|
	julia --project=docs --color=yes docs/make.jl
	env:
	DOCS_DEPLOY: false

Provide feedback