Add link to FawltyDeps GItHub Action in FAQ

Related to #170 and #332
tweag · Nov 18, 2024 · f1c4b41 · f1c4b41
1 parent 5b326f5
commit f1c4b41
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -669,3 +669,11 @@ repos:
       - id: check-undeclared
       - id: check-unused
 ```
+
+
+### Can I use FawltyDeps in continuous integration?
+
+Yes! This works well when run as a lint step in continuous integration systems.
+
+Please see [tweag/FawltyDeps-action](https://github.com/tweag/FawltyDeps-action) for a GitHub Action that implements FawltyDeps linting. You can also get the FawltyDeps GitHub Action from the [Actions Marketplace](https://github.com/marketplace/actions/fawltydeps).
+