Node CI (PR)

fix(core/dfn-index): handle section number refs with `.notoc` #3330

Sign in to view logs

Triggered via pull request November 22, 2024 09:56

sidvishnoi

opened #4834

fix-dfn-index-secno-with-notoc

Status Success

Total duration 2m 51s

Artifacts –

pr.yml

on: pull_request

Check linting issues

Matrix: test-karma