diff options
| author | Philip Kaludercic <philipk@posteo.net> | 2022-03-12 18:25:09 +0100 |
|---|---|---|
| committer | Philip Kaludercic <philipk@posteo.net> | 2022-03-12 18:25:09 +0100 |
| commit | ab79d60d4d4f3bbdc828c367fbd5f74791c980d9 (patch) | |
| tree | 6e91597cfb2e3295863347a4a7e5c2675120d1f5 /.github | |
| parent | 46bf15ac5a7afe242bc615c0cfad65dd41e06535 (diff) | |
Have GitHub Actions only run tests, not build the manual
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/makefile.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml index 21731ff..f99089d 100644 --- a/.github/workflows/makefile.yml +++ b/.github/workflows/makefile.yml @@ -33,4 +33,4 @@ jobs: with: version: ${{ matrix.emacs-version }} - name: Compile and run tests - run: make + run: make test |