| commit | 774b835edc116c7b77c831dc5501d1c00e7282c3 | [log] [tgz] |
|---|---|---|
| author | Jussi Pakkanen <jussi.pakkanen@mailbox.org> | Mon Jul 21 17:56:41 2025 +0300 |
| committer | Jussi Pakkanen <jussi.pakkanen@mailbox.org> | Mon Jul 21 17:56:41 2025 +0300 |
| tree | 530ab87e690c7dcbf32c24f4baa1f058fd5d4b3e | |
| parent | 2b7661a43f8e85d666dd66ecddb85aedb154a58c [diff] |
Guard against use of Unix tools.
diff --git a/.github/workflows/file_format.yml b/.github/workflows/file_format.yml index d61d634..a8d4ce2 100644 --- a/.github/workflows/file_format.yml +++ b/.github/workflows/file_format.yml
@@ -18,3 +18,4 @@ with: python-version: '3.x' - run: python3 ./run_format_tests.py + - run: python3 ./run_shell_checks.py