[ change ][ ci ] Create dev release on either dev or ci branches

Author: banacorn

.github/workflows/test.yaml

@@ -310,7 +310,7 @@ jobs:
 
     # dev release (optional)
     - name: 🚢 Create/Update Dev Release
-      if: github.ref == 'refs/heads/dev' && matrix.agda == 'Agda-2.8.0' && matrix.os == 'ubuntu-latest'
+      if: (github.ref == 'refs/heads/dev' || github.ref == 'refs/heads/ci') && matrix.agda == 'Agda-2.8.0' && matrix.os == 'ubuntu-latest'
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: |
@@ -329,15 +329,15 @@ jobs:
           --prerelease
 
     - name: 📤 Upload artifacts to dev release
-      if: github.ref == 'refs/heads/dev' && matrix.agda == 'Agda-2.8.0'
+      if: (github.ref == 'refs/heads/dev' || github.ref == 'refs/heads/ci') && matrix.agda == 'Agda-2.8.0'
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: |
         gh release upload dev $ARTEFACT.zip --clobber
 
   build-wasm:
     name: Build WASM
-    if: github.ref == 'refs/heads/dev'
+    if: github.ref == 'refs/heads/dev' || github.ref == 'refs/heads/ci'
     runs-on: ubuntu-22.04
 
     env: