PR linting

FIX: use LaTeX identifiers in widget selectors #523

Sign in to view logs

Triggered via pull request February 25, 2025 13:47

redeboer

opened #375

fix-widget

Status Success

Total duration 25s

Artifacts –

pr-linting.yml

on: pull_request

lint-pr / Check labels

lint-pr / Check title