Hugo Locurcio a3b5a1e349 Use a separate GitHub Actions workflow to build offline documentation (#4733) ...

This is required to get a permalink using https://nightly.link
as we need the workflow containing the offline docs ZIP artifact
to always be the latest one. Creating a second workflow is a good
way to solve this.

This also makes it easier to distinguish between linting checks
and offline documentation builds in the repository's Actions tab.

2021-03-28 23:46:56 +02:00

..

ISSUE_TEMPLATE

Add issue template configuration to replace the dummy support template (#3859)

2020-08-06 11:56:10 -07:00

workflows

Use a separate GitHub Actions workflow to build offline documentation (#4733)

2021-03-28 23:46:56 +02:00

PULL_REQUEST_TEMPLATE.md

PR template: Clarification

2018-03-30 18:47:56 +02:00