Update as per recent changes in the main branch

CHANGELOG.md

@@ -24,7 +24,7 @@
   - Prevent GitHub CI warnings on "Node.js 16 actions are deprecated" (#506)
   - Fix shell completion scripts (#501)
   - Extend `KERL_AUTOCLEAN` to Git-based builds (#511)
-
+  - Have CI run on pull request, workflow dispatch and push to main (#516)
 12 October 2023 - 4.0.0
 
   - Fix fish shell deactivate (#460)