Rename CI things

This commit is contained in:
Nikita Volkov 2023-10-16 15:47:35 +03:00
parent 48492f17f3
commit e8c8eb126f
3 changed files with 3 additions and 7 deletions

View File

@ -5,7 +5,7 @@ on:
jobs:
test:
check:
strategy:
fail-fast: false

View File

@ -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

View File

@ -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: