Closed devmotion closed 6 months ago
I think this should be uncontroversial and only affects currently broken GH actions, so I'll merge and check whether it improves things.
I wanted to check the settings of the repo but I don't have access: are the documenter key and secret correctly set up? Otherwise TagBot won't succeed in triggering docs build. In the meantime we can push a manual tag to build the docs
@devmotion should we push a Documenter tag to see if your setup worked? https://documenter.juliadocs.org/stable/man/hosting/#Fixing-broken-release-deployments
@gdalle #253 didn't fix the stable docs build. https://github.com/JuliaDiff/ReverseDiff.jl/actions shows that the TagBot action executed successfully but did not trigger a docs build. I assume the remaining issue might be an outdated TagBot config. In this PR I copied the recommended TagBot config.