| commit | f27dc1fce2aad00d4bb6f497f4a85bc6780c1864 | [log] [tgz] |
|---|---|---|
| author | Matt Venn <matt@mattvenn.net> | Fri Dec 02 12:57:56 2022 +0100 |
| committer | Matt Venn <matt@mattvenn.net> | Fri Dec 02 12:57:56 2022 +0100 |
| tree | 1bf269497aacb27f51288663c593646db4b12b70 | |
| parent | 9dc82ec8f721efdb79a01570894a753bb8f869fb [diff] |
remove projects dir before running precheck
diff --git a/.github/workflows/gds.yaml b/.github/workflows/gds.yaml index 02fc82b..68ae415 100644 --- a/.github/workflows/gds.yaml +++ b/.github/workflows/gds.yaml
@@ -56,6 +56,10 @@ - name: user project wrapper GDS run: make user_project_wrapper + # remove projects so that the precheck doesn't fail on 'non-inclusive words' + - name: remove projects + run: rm -rf projects + - name: precheck run: make run-precheck