Add support for proofs #1141
fwkochAnnotations
7 errors and 1 warning
|
Testing on node 16
'RuleId' cannot be used as a value because it was imported using 'import type'.
|
|
Testing on node 16
Process completed with exit code 1.
|
|
lint:
packages/myst-to-tex/src/proof.ts#L2
Type import "RuleId" is used by decorator metadata
|
|
lint
Process completed with exit code 1.
|
|
Testing on node 18
The job was canceled because "_16" failed.
|
|
Testing on node 18
'RuleId' cannot be used as a value because it was imported using 'import type'.
|
|
Testing on node 18
The operation was canceled.
|
|
lint:
packages/myst-to-typst/src/index.ts#L365
'opts' is defined but never used
|