Skip to content
CI

fixes footnote links that have ids which are substrings of other ids #451

Sign in to view logs

fixes footnote links that have ids which are substrings of other ids

fixes footnote links that have ids which are substrings of other ids #451

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
17s
lint
17s
build
25s
build
17s
formatting
17s
formatting
23s
check
16s
check
16s
test
20s
test
46s
test-snapshot
21s
test-snapshot
17s
typescript
24s
typescript
25s
5m 1s