Switch from Jenkins to GitHub Actions

ianroberts · ianroberts · commit 686d2c8e2351 · 2023-01-25T13:26:37.000Z
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -0,0 +1,13 @@
+name: CI
+
+on:
+  push:
+    branches:
+      - master
+
+jobs:
+  common-build:
+    uses: GateNLP/gate-top/.github/workflows/standard-module.yml@master
+    with:
+      deploy_site_to_pages: false
+    secrets: inherit
diff --git a/.github/workflows/pull-request.yaml b/.github/workflows/pull-request.yaml
@@ -0,0 +1,10 @@
+name: CI
+
+on:
+  pull_request:
+    branches:
+      - master
+
+jobs:
+  common-pr:
+    uses: GateNLP/gate-top/.github/workflows/standard-module-pr.yml@master
diff --git a/Jenkinsfile b/Jenkinsfile
