Skip to content
Deploy Documentation

Use time.monotonic() instead of datetime.datetime.now() (#23) #49

Sign in to view logs

Use time.monotonic() instead of datetime.datetime.now() (#23)

Use time.monotonic() instead of datetime.datetime.now() (#23) #49

Workflow file for this run

.github/workflows/docs.yml at 79335e1
name: Deploy Documentation
on:
push:
branches:
- main
pull_request:
branches:
- main
env:
FORCE_COLOR: 1
UV_NO_SYNC: 1
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5.0.1
- uses: actions/setup-python@e797f83bcb11b83ae66e0230d6156d7c80228e7c # v6.0.0
- name: Install uv
uses: astral-sh/setup-uv@5a7eac68fb9809dea845d802897dc5c723910fa3 # v7.1.3
- name: Install dependencies
run: |
uv sync --group docs
- name: Build documentation
run: uv run mkdocs build
- name: Deploy to GitHub Pages
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
run: uv run mkdocs gh-deploy --force