This repository has been archived by the owner on Jan 5, 2024. It is now read-only.
Fix #29: new input cabal-update: false to skip 'cabal update'#146
Merged
andreasabel merged 10 commits intomainfrom issue-29Jan 10, 2023
+163-23
Commits
Commits on Jan 10, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed