summaryrefslogtreecommitdiff
path: root/.gitea/workflows
diff options
context:
space:
mode:
Diffstat (limited to '.gitea/workflows')
-rw-r--r--.gitea/workflows/build.yml28
1 files changed, 0 insertions, 28 deletions
diff --git a/.gitea/workflows/build.yml b/.gitea/workflows/build.yml
deleted file mode 100644
index 6e9ce1e..0000000
--- a/.gitea/workflows/build.yml
+++ /dev/null
@@ -1,28 +0,0 @@
-name: Build
-
-on:
- push:
- pull_request:
- branches: [master]
-
-jobs:
- audit:
- container: buildenv:6
- steps:
- - uses: actions/checkout@v6
- - run: hlint src lib test
-
- test:
- container: buildenv:6
- continue-on-error: true
- steps:
- - uses: actions/checkout@v6
- - run: cabal update
- - run: cabal test --test-show-details=streaming
-
- release:
- container: buildenv:6
- steps:
- - uses: actions/checkout@v6
- - run: cabal update
- - run: cabal build