Skip to content

Fix basic case of false positive of duplicate label inspection when user defined \if commands are used #514

Fix basic case of false positive of duplicate label inspection when user defined \if commands are used

Fix basic case of false positive of duplicate label inspection when user defined \if commands are used #514

Triggered via pull request November 20, 2024 14:13
Status Success
Total duration 2m 19s
Artifacts 2

docs.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
publish-indexes
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size
algolia-indexes Expired
246 KB
docs Expired
82.5 MB