Skip to content

Commit

Permalink
Update URL in documentation (#2297)
Browse files Browse the repository at this point in the history
  • Loading branch information
mortenpi authored Oct 9, 2023
1 parent 752fa22 commit cfa6ff7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/src/man/hosting.md
Original file line number Diff line number Diff line change
Expand Up @@ -280,7 +280,7 @@ DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}

to the configuration file, as showed in the [previous section](@ref GitHub-Actions).
See GitHub's manual for
[Encrypted secrets](https://docs.github.com/en/actions/security-guides/encrypted-secrets)
[Encrypted secrets](https://docs.github.com/en/actions/security-guides/using-secrets-in-github-actions)
for more information.

### Add code coverage from documentation builds
Expand Down

0 comments on commit cfa6ff7

Please sign in to comment.