diff options
| -rw-r--r-- | .gitea/workflows/build.yml | 28 | ||||
| -rw-r--r-- | fountainhead.cabal | 2 |
2 files changed, 1 insertions, 29 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 diff --git a/fountainhead.cabal b/fountainhead.cabal index bfe4c26..fb9ef7f 100644 --- a/fountainhead.cabal +++ b/fountainhead.cabal @@ -41,7 +41,7 @@ library build-depends: containers ^>= 0.8, megaparsec ^>= 9.7, - time ^>= 1.15, + time ^>= 1.16, transformers ^>= 0.6, vector ^>= 0.13.0 ghc-options: -Wall |