chore(git): fix update notes for dev release

.github/workflows/build.yaml

@@ -121,6 +121,17 @@ jobs:
     if: ${{ github.repository_owner == 'Laxilef' && github.ref == 'refs/heads/async' }}
 
     steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+        with:
+          fetch-depth: 0
+
+      - name: Move dev tag
+        run: |
+          git fetch --tags
+          git tag -f dev
+          git push origin refs/tags/dev --force
+
       - name: Download artifacts
         uses: actions/download-artifact@v5
         with:
@@ -138,6 +149,12 @@ jobs:
             *.bin
             *.elf
 
+      - name: Clear release body
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          gh release edit dev --notes ""
+
       - name: Publish Dev release
         uses: softprops/action-gh-release@v3
         with:

src_data/pages/settings.html

@@ -807,7 +807,7 @@
 
                 <label>
                   <input type="checkbox" name="externalPump[invertState]" value="true">
-                  <span data-i18n>settings.externalPump.invertState</span>
+                  <span data-i18n>settings.extPump.invertState</span>
                 </label>
               </fieldset>