Document is_parameter in the manual (besides api ref)

[joaquimg]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 97.90%. Comparing base (1239fdc) to head (64a97cf).
Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #3831   +/-   ##
=======================================
  Coverage   97.90%   97.90%           
=======================================
  Files          44       44           
  Lines        6019     6019           
=======================================
  Hits         5893     5893           
  Misses        126      126           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[joaquimg]

doc errors do not seem related, or I missed something in the log

[odow]

It's probably the ∈. I'll take a look. Debugging the latex can be tricky.

[joaquimg]

Weird, I used the same as the one from line 1275

[odow]

Hmm the logs have

Unable to find image 'juliadocs/documenter-latex:0.1' locally
docker: Error response from daemon: Head "https://registry-1.docker.io/v2/juliadocs/documenter-latex/manifests/0.1": unauthorized: incorrect username or password.
See 'docker run --help'.
Error response from daemon: No such container: latex-container