Deploy docs to GitHub Pages

Split the linting in the CI into multiple jobs (#6) #15

Sign in to view logs

Triggered via push September 13, 2025 17:29

max-models

devel

Status Success

Total duration 1m 10s

Artifacts –

docs.yml

on: push

build-and-deploy