run tests in CI

This commit is contained in:
fanghr 2022-05-28 23:48:13 +08:00
parent 9c93fa4c1c
commit 5cfd28d2af
No known key found for this signature in database
GPG key ID: 0B261157257380F2

View file

@ -1,6 +1,7 @@
on:
push:
paths:
- ".github/workflows/integrate.yaml"
- "**.hs"
- "**.nix"
- "flake.lock"
@ -10,6 +11,7 @@ on:
- staging
pull_request:
paths:
- ".github/workflows/integrate.yaml"
- "**.hs"
- "**.nix"
- "flake.lock"
@ -19,7 +21,11 @@ jobs:
runs-on: ubuntu-latest
strategy:
matrix:
tasks: ["agora", "formatCheck", "benchCheck"]
tasks:
- agora
- formatCheck
- benchCheck
- agora-test
steps:
- uses: actions/checkout@v2.4.0