Merge branch 'main' into ci_testing

Author: alexveden

.github/workflows/main.yml

@@ -23,6 +23,9 @@ jobs:
   build-c3fmt:
     runs-on: ubuntu-22.04
     strategy:
+      # Don't abort runners if a single one fails
+      fail-fast: false
+
       matrix:
         line_width: [80, 100]
         indent: ["4", "t"]
@@ -96,9 +99,6 @@ jobs:
       - name: c3fmt c3tools
         run: |
           find lib/ | grep ".c3$" | xargs -I{} ./build/c3fmt -w ${{ matrix.line_width }} -i ${{ matrix.indent }} {}
-          echo "Checking if any changes after formatting"
-          git add lib/ && git diff --quiet && git diff --cached | head
-          git commit -m "CI commit after formatting"
 
       - name: c3tools unit tests after formatting
         run: |
@@ -107,8 +107,6 @@ jobs:
       - name: c3fmt c3tools (double)
         run: |
           find lib/ | grep ".c3$" | xargs -I{} ./build/c3fmt -w ${{ matrix.line_width }} -i ${{ matrix.indent }} {}
-          echo "Checking if any changes after formatting (must be the same!)"
-          git diff --quiet
 
       - name: c3tools unit tests after (double) formatting
         run: |
@@ -141,6 +139,7 @@ jobs:
           find c3c/lib/ | grep ".c3$" | xargs -I{} ./build/c3fmt -w ${{ matrix.line_width }} -i ${{ matrix.indent }} {}
           cd c3c/
           echo "Checking if any changes after formatting (must be the same!)"
+          git diff | head
           git diff --quiet
 
       - name: c3c stdlib unit tests formatted (double)
@@ -157,3 +156,6 @@ jobs:
           cd c3c/test
           ../build/c3c compile-test unit
 
+      - name: c3fmt of all *.c3t files in test_suite
+        run: |
+          ./scripts/c3fmt_c3c_test_suite.sh c3c/test/test_suite/

.gitignore

@@ -1,4 +1,6 @@
 build/
 .gdb_history
 scripts/c3fmt_gentests
-test/test_c3fmt_corpus.c3
+test/c3tools/codefmt/test_c3fmt_corpus.c3
+# exclude c3c/ used in CI/CD
+c3c/