Add 2.6.4.3 release notes; bump latest stable release in deploy.yml

doc/release-notes/2.6.4.3.md

@@ -0,0 +1,17 @@
+Release notes for Agda version 2.6.4.3
+======================================
+
+This release fixes a regression in 2.6.4.3 and one in 2.6.4.
+It aims to be API-compatible with 2.6.4.1 and 2.6.4.2.
+
+Agda 2.6.4.3 supports GHC versions 8.6.5 to 9.8.1.
+
+Closed issues
+-------------
+
+For 2.6.4.3, the following issues were
+[closed](https://github.com/agda/agda/issues?q=is%3Aissue+milestone%3A2.6.4.3+is%3Aclosed)
+(see [bug tracker](https://github.com/agda/agda/issues)):
+
+- [Issue #7148](https://github.com/agda/agda/issues/7148): Regression in 2.6.4.2 concerning `with`
+- [Issue #7150](https://github.com/agda/agda/issues/7150): Regression in 2.6.4 in `rewrite` with instances

src/github/workflows/deploy.yml

@@ -299,4 +299,4 @@ jobs:
       run: |
         gh release delete 'nightly' --repo agda/agda --cleanup-tag --yes || true
         ls -R artifacts
-        gh release create 'nightly' artifacts/**/* --repo agda/agda --generate-notes --notes-start-tag v2.6.4 --title "Nightly Build (${{ needs.build.outputs.sha }}@master)"
+        gh release create 'nightly' artifacts/**/* --repo agda/agda --generate-notes --notes-start-tag v2.6.4.3 --title "Nightly Build (${{ needs.build.outputs.sha }}@master)"