PR linting

FIX: use LaTeX identifiers in widget selectors #522

Sign in to view logs

Triggered via pull request February 25, 2025 13:47

redeboer

labeled #375

fix-widget

Status Success

Total duration 27s

Artifacts –

pr-linting.yml

on: pull_request

lint-pr / Check labels

lint-pr / Check title