Fix stable docs badge link (#53) #6

	name: Build and Deploy Documentation

	on:
	push:
	branches:
	- main
	- dev
	tags: '*'
	pull_request:

	jobs:
	build:
	permissions:
	contents: write
	statuses: write
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: julia-actions/setup-julia@v1
	with:
	version: "1.10"
	- name: Add custom registry
	run: \|
	julia --project=docs/ -e 'import Pkg; Pkg.Registry.add(Pkg.RegistrySpec(url="https://github.com/QEDjl-project/registry.git"));'
	julia --project=docs/ -e 'import Pkg; Pkg.Registry.add(Pkg.RegistrySpec(url="https://github.com/JuliaRegistries/General"));'
	- name: Install dependencies
	run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
	- name: set dependencies to dev branch version
	if: (github.event_name == 'push' && github.ref_name != 'main') \|\| (github.event_name == 'pull_request' && github.base_ref != 'main')
	run: \|
	git clone -b dev https://github.com/QEDjl-project/QED.jl.git /tmp/integration_test_tools
	julia --project=docs/ /tmp/integration_test_tools/.ci/set_dev_dependencies.jl
	- name: Build and deploy
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
	run: julia --project=docs/ docs/make.jl

Provide feedback