From e6fc21d4c37396b1eb183b8a0d0e9459ef046310 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Fri, 22 May 2026 06:52:18 +0200 Subject: Pull up time to 1.16 --- .gitea/workflows/build.yml | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 .gitea/workflows/build.yml (limited to '.gitea/workflows') 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 -- cgit v1.2.3