Some cleanups in GitHub Actions CI

[tinc] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 568d548..6f0f687 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -36,8 +36,5 @@ release:
        /usr/bin/editor $(srcdir)/NEWS
        $(MAKE) dist
 
-check-style:
-       astyle --options=.astylerc --dry-run -nQ src/*.[ch] src/*/*.[ch]
-
 astyle:
        astyle --options=.astylerc -nQ src/*.[ch] src/*/*.[ch]