auto-update of ET documentaion no longer works

Issue #2594 resolved
Roland Haas created an issue

With the loss of our dedicated Jenkins server, documentation on https://www.einsteintoolkit.org/documentation/ThornGuide.php is no longer auto-generated once a day.

A replacement using GitHub actions should be set up.

Comments (2)

  1. Log in to comment