Skip to content
Deploy docs to GitHub Pages

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

Sign in to view logs

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

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

Triggered via push September 13, 2025 17:29
@max-modelsmax-models
pushed 89d3f0d
devel
Status Success
Total duration 1m 10s
Artifacts 1

docs.yml

on: push
build-and-deploy
1m 5s
build-and-deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
7.36 MB
sha256:831d044f0b5fa677efb6504f5c8578e21f5779febd98fff13b18e58c78fd2f69