Merge pull request #114 from Leonidas-from-XIV/remove-travis-add-work…

…flows Remove travis, add github workflows
ocaml-community · Nov 15, 2021 · 0cb2f3f · 0cb2f3f
2 parents b743857 + 4b7a3e4
commit 0cb2f3f
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 19 deletions.
diff --git a/.github/workflows/changelog.yml b/.github/workflows/changelog.yml
@@ -0,0 +1,13 @@
+name: Changelog check
+
+on:
+  pull_request:
+    branches: [ main ]
+    types: [ opened, synchronize, reopened, labeled, unlabeled ]
+
+jobs:
+  Changelog-Entry-Check:
+    name: Check Changelog Action
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: tarides/changelog-check-action@v1
diff --git a/.github/workflows/pr-number.yml b/.github/workflows/pr-number.yml
@@ -0,0 +1,8 @@
+name: PR number update
+on: [pull_request_target]
+jobs:
+  PR-Number-Update:
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Update PR number
+        uses: tarides/[email protected]
diff --git a/.travis.yml b/.travis.yml