diff options
Diffstat (limited to '.gitea/workflows')
| -rw-r--r-- | .gitea/workflows/build.yml | 28 |
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 |
