chore: rename .manifest.xml to manifest.xml [skip ci]

2026-05-12 14:14:31 -05:00
parent cf804e7ade
commit 2323319dc2
2 changed files with 1 additions and 1 deletions
@@ -108,7 +108,7 @@ jobs:
      - name: Detect platform
        id: platform
        run: |
-          PLATFORM=$(cat .mokogitea/.manifest.xml 2>/dev/null | tr -d '[:space:]')
+          PLATFORM=$(cat .mokogitea/manifest.xml 2>/dev/null | tr -d '[:space:]')
          [ -z "$PLATFORM" ] && PLATFORM="generic"
          echo "platform=$PLATFORM" >> "$GITHUB_OUTPUT"