GitHub CI

docs: Add missing theme-library type in path mappings #2747

Sign in to view logs

Triggered via pull request December 17, 2025 09:16

matz3

opened #1254

docs-path-mappings-theme-library

Status Success

Total duration 5m 28s

Artifacts –

github-ci.yml

on: pull_request

General checks and tests