GitHub CI

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

Sign in to view logs

Triggered via push December 17, 2025 12:30

matz3

main

Status Success

Total duration 5m 33s

Artifacts –

github-ci.yml

on: push

General checks and tests