Grant permissions to docs workflow

[wheeheee]

Switch from using DOCUMENTER_KEY, following example in https://github.com/julia-actions/julia-docdeploy.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 97.84%. Comparing base (a98e64f) to head (48e6f26).
Report is 11 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #591   +/-   ##
=======================================
  Coverage   97.84%   97.84%           
=======================================
  Files          19       19           
  Lines        3249     3249           
=======================================
  Hits         3179     3179           
  Misses         70       70           

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

[martinholters]

Shouldn't the permissions also include pull-requests: read?

[wheeheee]

Seems like it isn't required, the example in the link above doesn't have it. Maybe read permissions are granted by default.

[martinholters]

Hm, indeed looks like it isn't needed, although https://documenter.juliadocs.org/stable/man/hosting/#Permissions indicates otherwise.