Closed SpacemanPaul closed 4 months ago
Cherry picking recent PRs to develop into develop-1.9.
develop
develop-1.9
Mostly autoupdates of github actions, but also Robbi's cheat sheet in docs.
docs/about/whats_new.rst
Reason for this pull request
Cherry picking recent PRs to
develop
intodevelop-1.9
.Proposed changes
Mostly autoupdates of github actions, but also Robbi's cheat sheet in docs.
docs/about/whats_new.rst
for all changes