Skip to content
CI - Lint for Pull Requests

Update xmldb.md #985

Sign in to view logs

Update xmldb.md

Update xmldb.md #985

Triggered via pull request August 26, 2023 10:00
@lucaboeschlucaboesch
synchronize #710
lucaboesch:xmldbnumbering
Status Failure
Total duration 1m 31s
Artifacts –

lint-pr.yml

on: pull_request
docs
1m 23s
docs
Fit to window
Zoom out
Zoom in

Annotations

1 error
docs
Process completed with exit code 1.