update git+https and gh_pages link after public release (#9) #32

	name: CI

	on:
	push:
	branches: [ "main" ]
	pull_request:
	branches: [ "main" ]
	workflow_dispatch:

	concurrency:
	# Run everything on main, most-recent on PR builds
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	jobs:
	ci:
	runs-on: ubuntu-latest
	timeout-minutes: 20
	steps:
	- uses: actions/checkout@v4
	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: '3.10'
	- name: Install dev-requirements
	run: \|
	sudo apt install pandoc
	python -m pip install --upgrade pip
	pip install -r requirements-dev.txt --no-cache-dir
	shell: bash
	- name: Run CI
	run: ./dev ci
	shell: bash
	- name: Publish docs
	if: ${{github.ref == 'refs/heads/main'}}
	uses: Cecilapp/[email protected]
	env: { GITHUB_TOKEN: "${{ github.token }}" }
	with:
	build_dir: docs/build/html/

Provide feedback