Hugo Locurcio 7444f4a8b3 GitHub Actions: Don't build offline docs on pushes and pull requests ...

This was a leftover from the pull request.

2021-05-20 01:30:52 +02:00

..

build_offline_docs.yml

GitHub Actions: Don't build offline docs on pushes and pull requests

2021-05-20 01:30:52 +02:00

ci.yml

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

2021-03-28 23:42:19 +02:00