Skip to content
Build documentation

docs: Change base url of docs/guide to docs.pola.rs #358

Sign in to view logs

docs: Change base url of docs/guide to docs.pola.rs

docs: Change base url of docs/guide to docs.pola.rs #358

Triggered via pull request December 28, 2023 09:38
@c-petersc-peters
synchronize #13281
c-peters:dns_change
Status Success
Total duration 7m 29s
Artifacts –

docs-global.yml

on: pull_request
markdown-link-check
53s
markdown-link-check
lint
8s
lint
deploy
7m 20s
deploy
Fit to window
Zoom out
Zoom in