Allow local edits if RESOURCE_SERVER not defined #2717

Sign in to view logs

Workflow file for this run

.github/workflows/docs.yml at 321ad2f

	---
	name: Docsite CI
	on:
	pull_request:
	jobs:
	docsite-build:
	name: docsite test build
	runs-on: ubuntu-latest
	timeout-minutes: 30
	steps:
	- uses: actions/checkout@v4
	with:
	show-progress: false

	- name: install tox
	run: pip install tox

	- name: Assure docs can be built
	run: tox -e docs