diff --git a/.github/workflows/devcontainer-build-and-push.yml b/.github/workflows/docker-devcontainer.yml similarity index 95% rename from .github/workflows/devcontainer-build-and-push.yml rename to .github/workflows/docker-devcontainer.yml index f495cc115..aa43fc620 100644 --- a/.github/workflows/devcontainer-build-and-push.yml +++ b/.github/workflows/docker-devcontainer.yml @@ -2,13 +2,13 @@ # - Only pushes if push or release # - Builds without push for PRs to check the Dockerfile -name: Docker image +name: Build Docker [devcontainers] on: pull_request: # Build, don't push paths: - ".devcontainer/**" - - ".github/workflows/devcontainer-build-and-push.yml" + - ".github/workflows/docker-devcontainer.yml" push: { branches: [master] } # Build + push ('latest' tag) release: { types: [published] } # Build + push (release tag) workflow_dispatch: # Build + push (custom tag) diff --git a/.github/workflows/mkdocs-docker.yml b/.github/workflows/docker-mkdocs.yml similarity index 92% rename from .github/workflows/mkdocs-docker.yml rename to .github/workflows/docker-mkdocs.yml index 7e9ca7390..acb0c2c87 100644 --- a/.github/workflows/mkdocs-docker.yml +++ b/.github/workflows/docker-mkdocs.yml @@ -1,11 +1,12 @@ # Build and push the Docker image for building the site (mkdocs material) -name: MkDocs image +name: Build Docker [MkDocs] on: pull_request: paths: - ".github/mkdocs.Dockerfile" + - ".github/workflows/docker-mkdocs.yml" - "requirements.txt" push: branches: [master] diff --git a/.github/workflows/docs-dev.yml b/.github/workflows/docs-dev.yml new file mode 100644 index 000000000..f56410b7b --- /dev/null +++ b/.github/workflows/docs-dev.yml @@ -0,0 +1,33 @@ +name: Publish docs [dev] + +on: + release: + types: [published] + push: + branches: [master] + +permissions: + contents: write + +jobs: + deploy: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + with: + fetch-depth: 0 + + - uses: actions/setup-python@v5 + with: + python-version: 3.10.6 + + - name: Install Dependencies + run: pip install -r requirements.txt + + - name: Configure git + run: | + git config user.name "github-actions[bot]" + git config user.email "41898282+github-actions[bot]@users.noreply.github.com" + + - name: Build Docs Website + run: mike deploy --push --alias-type copy --update-aliases 0.dev development diff --git a/.github/workflows/release-docs.yml b/.github/workflows/docs-release.yml similarity index 100% rename from .github/workflows/release-docs.yml rename to .github/workflows/docs-release.yml diff --git a/.github/workflows/precommit.yml b/.github/workflows/precommit.yml index 02801e8e8..c086ddb39 100644 --- a/.github/workflows/precommit.yml +++ b/.github/workflows/precommit.yml @@ -1,4 +1,4 @@ -name: Pre-commit checks +name: Code checks [pre-commit] on: push: