chore: remove valgrind target from build workflow and simplify CI step

2024-11-30 20:04:32 +00:00
parent 3e1d5e3619
commit 857be54db5
1 changed files with 1 additions and 1 deletions
@@ -13,4 +13,4 @@ jobs:
      - name: List files in the repository
        run: |
          ls ${{ gitea.workspace }}
-      - run: make valgrind
+      - run: make