Merge pull request #7 from Shreyas-Ekanathan/master #128

	name: Documentation

	on:
	push:
	branches:
	- master
	tags: '*'
	pull_request:

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: julia-actions/setup-julia@latest
	with:
	version: '1'
	# Explicitly develop the libraries first before running the tests for now.
	# This is necessary since the tests are likely to fail otherwise, given that all
	# the libs haven't been registered yet.
	- name: "Develop the libraries since they haven't been registered yet"
	run: \|
	julia --project=. -e '
	using Pkg;
	Pkg.develop(map(path ->Pkg.PackageSpec.(;path="$(@__DIR__)/lib/$(path)"), readdir("./lib")));
	'
	- name: Install dependencies
	run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
	- name: Build and deploy
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
	DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
	run: julia --project=docs/ --code-coverage=user docs/make.jl
	- uses: julia-actions/julia-processcoverage@v1
	- uses: codecov/codecov-action@v4
	with:
	token: ${{ secrets.CODECOV_TOKEN }}
	file: lcov.info
	fail_ci_if_error: true

Provide feedback