Skip to content

[guihttp] Add plugin to filter response #1250 #807

[guihttp] Add plugin to filter response #1250

[guihttp] Add plugin to filter response #1250 #807

name: Build Changed Modules
on:
pull_request:
branches: [ "main" ]
jobs:
build-changed-modules:
runs-on: ubuntu-latest
steps:
- name: Set up Zulu JDK 11
uses: actions/setup-java@v4
with:
java-version: 11
distribution: 'zulu'
- name: Check out xyna-factory
uses: actions/checkout@v4
- uses: actions/cache@v4
id: maven-cache
with:
path: /home/runner/.m2
key: ${{ runner.os }}-maven-cache-for-pr-build-${{ hashFiles('installation/build/pom.xml') }}
- name: determine changed modules
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
gh pr diff ${{ github.event.pull_request.number }} --name-only | xargs -I {} dirname {} | grep '^modules/' | cut -f 2-3 -d/ | sort | uniq | tee changed-modules.txt
- name: build basic factory
run: |
cd installation
./build.sh build
- name: build changed modules
run: |
cd modules
for d in $(cat ../changed-modules.txt); do test -d "$d" && ant -Doracle.home=/tmp -f "$d/build.xml"; done