circleci -> github actions

.github/workflows/ci.yml

@@ -0,0 +1,48 @@
+name: CI
+
+on:
+  push:
+    branches: [ "master" ]
+
+jobs:
+  build:
+    name: Build
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        submodules: true
+    - name: Setup Node.js
+      uses: actions/setup-node@v4
+      with:
+        node-version: '16'
+        cache: 'npm'
+    - run: npm ci --legacy-peer-deps
+    - run: cd homotopy-core && npm ci && npm run build --if-present
+    - run: npm run build --if-present
+    - name: Archive build artifacts
+      uses: actions/upload-artifact@v4
+      with:
+        name: webclient
+        path: dist
+
+  deploy:
+    name: Deploy
+    runs-on: ubuntu-latest
+    needs: [build]
+    if: github.ref == 'refs/heads/master'
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      - name: Download build artifacts
+        uses: actions/download-artifact@v4
+        with:
+          name: webclient
+          path: dist
+      - name: Deploy to Firebase (live)
+        uses: FirebaseExtended/action-hosting-deploy@v0
+        with:
+          repoToken: '${{ secrets.GITHUB_TOKEN }}'
+          firebaseServiceAccount: '${{ secrets.FIREBASE_SERVICE_ACCOUNT_HOMOTOPY_IO }}'
+          channelId: live
+          projectId: homotopy-io

README.md

@@ -1,8 +1,6 @@
 # homotopy.io
 
-master: [![CircleCI](https://circleci.com/gh/homotopy-io/homotopy-webclient/tree/master.svg?style=svg)](https://circleci.com/gh/homotopy-io/homotopy-webclient/tree/master)
-
-stable: [![CircleCI](https://circleci.com/gh/homotopy-io/homotopy-webclient/tree/stable.svg?style=svg)](https://circleci.com/gh/homotopy-io/homotopy-webclient/tree/stable)
+![master](https://github.com/homotopy-io/homotopy-webclient/workflows/ci.yml/badge.svg)
 
 ## DOI
 
@@ -33,7 +31,7 @@ Development:
 
 Deployment:
 
-- (Project collaborators only.) Merge to `stable` and push; this is then automatically deployed.
+- (Project collaborators only.) Merge to `master` and push; this is then automatically deployed.
 
 ## Citation