Skip to content

Add query macro docs #287

Add query macro docs

Add query macro docs #287

Workflow file for this run

name: Docker Images
on:
push:
pull_request:
workflow_dispatch:
env:
REGISTRY: ghcr.io
jobs:
build-and-push-docs-site:
# Run on external PRs and pushes to branches on the repo
# This is to avoid double running on PRs from internal branches
if: github.event_name == 'push' || github.event_name == 'schedule' || github.event.pull_request.head.repo.full_name != github.repository
name: Build and push docs website
runs-on: ubuntu-latest
permissions:
contents: read
packages: write
steps:
- name: Checkout repository
uses: actions/checkout@v6
with:
submodules: recursive
- name: Log in to the Container registry
uses: docker/login-action@v4
with:
registry: ${{ env.REGISTRY }}
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Extract metadata (tags, labels) for Docker
id: meta
uses: docker/metadata-action@v6
with:
images: ${{ env.REGISTRY }}/cot-rs/cot-site
- name: Build and push Docker image
uses: docker/build-push-action@v7
with:
context: docs/
push: ${{ github.ref == 'refs/heads/master' }}
tags: ${{ steps.meta.outputs.tags }}
labels: ${{ steps.meta.outputs.labels }}