diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 8632bc0..5c8c569 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -16,22 +16,23 @@ jobs: runs-on: ubuntu-latest steps: - name: Pull Request Checkout - uses: actions/checkout@v2 + uses: actions/checkout@v4 with: ref: ${{github.event.pull_request.head.ref}} repository: ${{github.event.pull_request.head.repo.full_name}} if: github.head_ref != '' - name: Push Checkout - uses: actions/checkout@v2 + uses: actions/checkout@v4 if: github.head_ref == '' - name: Set up JDK - uses: actions/setup-java@v1 + uses: actions/setup-java@v4 with: - java-version: ${{matrix.jdk}} + java-version: ${{ matrix.jdk }} + distribution: 'temurin' - name: Set up Python 3 - uses: actions/setup-python@v2 + uses: actions/setup-python@v5 with: - python-version: 3.8 + python-version: 3.9 - name: Install Python dependencies run: | python -m pip install --upgrade pip diff --git a/dependency-setup.sh b/dependency-setup.sh index 2fa5388..2bb1c35 100755 --- a/dependency-setup.sh +++ b/dependency-setup.sh @@ -8,10 +8,10 @@ WORKING_DIR=$(cd $(dirname "$0") && pwd) # export SHELLOPTS -if [ -d "/tmp/plume-scripts" ] ; then - git -C /tmp/plume-scripts pull -q +if [ -d "/tmp/git-scripts" ] ; then + git -C /tmp/git-scripts pull -q else - git -C /tmp clone --depth 1 -q https://github.com/plume-lib/plume-scripts.git + git -C /tmp clone --depth 1 -q https://github.com/eisop-plume-lib/git-scripts.git fi #default value is opprop. REPO_SITE may be set to other value for travis test purpose. @@ -23,7 +23,7 @@ echo "------ Downloading everything from REPO_SITE: $REPO_SITE ------" if [ -d $JSR308/checker-framework-inference ] ; then (cd $JSR308/checker-framework-inference && git pull) else - /tmp/plume-scripts/git-clone-related $REPO_SITE checker-framework-inference $JSR308/checker-framework-inference + /tmp/git-scripts/git-clone-related $REPO_SITE checker-framework-inference $JSR308/checker-framework-inference fi (cd $JSR308/checker-framework-inference && ./.ci-build-without-test.sh) @@ -32,7 +32,7 @@ fi if [ -d $JSR308/do-like-javac ] ; then (cd $JSR308/do-like-javac && git pull) else - /tmp/plume-scripts/git-clone-related $REPO_SITE do-like-javac $JSR308/do-like-javac + /tmp/git-scripts/git-clone-related $REPO_SITE do-like-javac $JSR308/do-like-javac fi ##### build ontology without testing