diff --git a/.github/workflows/base.yml b/.github/workflows/base.yml index 6b4b857f3..d04023541 100644 --- a/.github/workflows/base.yml +++ b/.github/workflows/base.yml @@ -278,3 +278,8 @@ jobs: scan-build --status-bugs make quickcheck OPT=0 make clean >/dev/null scan-build --status-bugs make quickcheck OPT=1 + symlink-check: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0 + - uses: donatj/symlink-check-action@b3c737d0fd4e52752f0b8c71a03f3f775fa015cb diff --git a/auto.mk b/auto.mk deleted file mode 120000 index ce5c161cb..000000000 --- a/auto.mk +++ /dev/null @@ -1 +0,0 @@ -../../test/mk/auto.mk \ No newline at end of file