Closed GeckoEidechse closed 3 days ago
Build docs on push without deploying, simply to test that the build process has not been broken by a commit
Not much to say here, merging so that we have at least some form of CI for now.
Build docs on push without deploying, simply to test that the build process has not been broken by a commit