You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
GitHub Actions is used now for CI; turning autotests back on means
one can just create a new file in the tests directory to test
things; release notes exist in GitHub releases and duplicating them
in-tree has no real upside but does require remembering to keep two
things in sync, which won’t happen.
0 commit comments