Improve handling of user header #234

Triggered via pull request August 15, 2023 12:49

synchronize #818

Status Failure

Total duration 12m 29s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

R-CMD-check-wsl.yaml

on: pull_request

10 errors and 1 warning

--- re-building 'cmdstanr-internals.Rmd' using rmarkdown

processing vignette 'cmdstanr-internals.Rmd' failed with diagnostics:

processing vignette 'cmdstanr.Rmd' failed with diagnostics:

processing vignette 'deprecations.Rmd' failed with diagnostics:

processing vignette 'posterior.Rmd' failed with diagnostics:

processing vignette 'profiling.Rmd' failed with diagnostics:

processing vignette 'r-markdown.Rmd' failed with diagnostics:

Vignette re-building failed.

Build process failed

Process completed with exit code 1.

No files were found with the provided path: check. No artifacts will be uploaded.