From 96442ea19234b1ec0c411796e3348163504c0f5f Mon Sep 17 00:00:00 2001 From: Jan Cristina Date: Fri, 20 Sep 2024 11:43:27 +0200 Subject: [PATCH] move-panama-backend - more ci and make fixes --- .github/workflows/ci.yml | 6 +++--- Makefile.toml | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 60a5065..ea6cd48 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -41,7 +41,7 @@ jobs: run: rustup install 1.71 --profile minimal - name: Check - run: cargo +1.71 check -p cli -p jextrsact + run: cargo +1.71 check -p diplomatjava -p jextrsact -p feature-tests test: runs-on: ubuntu-latest @@ -57,7 +57,7 @@ jobs: architecture: x64 cache: maven - name: Test Java - run: cargo make test-java + run: cargo make test-feature test-gen: runs-on: ubuntu-latest @@ -81,4 +81,4 @@ jobs: - name: Add jextract to path run: echo "/opt/jextract-22/bin" >> $GITHUB_PATH - name: Run generated java - run: cargo make gen-java + run: cargo make gen-feature diff --git a/Makefile.toml b/Makefile.toml index b9fcbe3..b34044b 100644 --- a/Makefile.toml +++ b/Makefile.toml @@ -22,7 +22,7 @@ mvn test ''' -[tasks.gen-java-feature] +[tasks.gen-feature] category = "Code generation" script_runner = "@bash" script = '''