Rename CI things

nikita-volkov · Oct 16, 2023 · 2d4252b · 2d4252b
1 parent 48492f1
commit 2d4252b
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 6 deletions.
diff --git a/.github/workflows/build-and-test.yaml → .github/workflows/check.yaml b/.github/workflows/build-and-test.yaml → .github/workflows/check.yaml
diff --git a/.github/workflows/on-push-to-master-or-pr.yaml b/.github/workflows/on-push-to-master-or-pr.yaml
@@ -1,5 +1,3 @@
-name: Compile, test and check the docs
-
 on:
   push:
     branches:
@@ -13,5 +11,5 @@ jobs:
     secrets: inherit
 
   check:
-    uses: ./.github/workflows/build-and-test.yaml
+    uses: ./.github/workflows/check.yaml
     secrets: inherit
diff --git a/.github/workflows/on-push-to-release.yaml b/.github/workflows/on-push-to-release.yaml
@@ -1,5 +1,3 @@
-name: Release the lib to Hackage
-
 on:
   push:
     branches:
@@ -19,7 +17,7 @@ jobs:
     secrets: inherit
 
   check:
-    uses: ./.github/workflows/build-and-test.yaml
+    uses: ./.github/workflows/check.yaml
     secrets: inherit
 
   release: