[Infra] Move from Travis CI to GitHub Actions (fix #91) (#94)

WICG · May 26, 2021 · 55e20d3 · 55e20d3
1 parent 2b8e5ea
commit 55e20d3
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 106 deletions.
diff --git a/.github/workflows/pr-push.yml b/.github/workflows/pr-push.yml
@@ -0,0 +1,14 @@
+name: CI
+on:
+  pull_request: {}
+  push:
+    branches: [main]
+jobs:
+  main:
+    name: Build, Validate and Deploy
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: w3c/spec-prod@v2
+        with:
+          GH_PAGES_BRANCH: gh-pages
diff --git a/.travis.yml b/.travis.yml
diff --git a/compile.sh b/compile.sh
diff --git a/deploy.sh b/deploy.sh