diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml (renamed from .github/workflows/maven.yml) | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/.github/workflows/maven.yml b/.github/workflows/ci.yml index 26c2a083..67ab702c 100644 --- a/.github/workflows/maven.yml +++ b/.github/workflows/ci.yml @@ -1,4 +1,4 @@ -name: Java CI with Maven +name: Java CI with Make on: [ push, pull_request ] @@ -14,6 +14,5 @@ jobs: with: java-version: '21' distribution: 'temurin' - cache: 'maven' - - name: Build with Maven - run: mvn --batch-mode --update-snapshots verify + - name: Build and test all chapters + run: make lib tests CTAGS= |