Skip to content
pr-commands.yaml

Allow disabling the wrapping of \dontrun{} blocks with if (FALSE) {} in example sections #3991

Sign in to view logs

Allow disabling the wrapping of \dontrun{} blocks with if (FALSE) {} in example sections

Allow disabling the wrapping of \dontrun{} blocks with if (FALSE) {} in example sections #3991

This job was skipped