feat: bring in TSPLIB95 and CVRPLIB benchmarks #94
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Pull Request | |
| on: | |
| # Enables the workflow to run on PRs from forks; | |
| # token sharing is safe here, because enterprise is a private repo and therefore fully under our control. | |
| pull_request_target: | |
| branches: [main, '*.x'] | |
| types: | |
| - opened | |
| - reopened | |
| - synchronize | |
| paths-ignore: | |
| - 'LICENSE*' | |
| - '.gitignore' | |
| - '**.md' | |
| - '**.adoc' | |
| - '*.txt' | |
| jobs: | |
| # Check if the user is a member of the organization; if so, allow the PR to sail through. | |
| known_user: | |
| runs-on: ubuntu-latest | |
| outputs: | |
| is_member_of_org: ${{ steps.auth_check.outputs.authorized }} | |
| steps: | |
| - id: auth_check | |
| env: | |
| GH_TOKEN: ${{ secrets.JRELEASER_GITHUB_TOKEN }} # Release account is a Solver Gatekeeper. | |
| shell: bash | |
| run: | | |
| # -g to allow actors such as dependabot[bot] | |
| ORG_MEMBERSHIP=`curl -g -L -H "Accept: application/vnd.github+json" -H "Authorization: Bearer $GH_TOKEN" "https://api.github.com/orgs/TimefoldAI/memberships/${{ github.actor }}" | jq -r '.state == "active"'` | |
| echo "authorized=$ORG_MEMBERSHIP" >> "$GITHUB_OUTPUT" | |
| - id: validation | |
| shell: bash | |
| run: | | |
| echo "Authorized user: ${{ steps.auth_check.outputs.authorized }}" | |
| # If the user is not a member, require a member to approve the PR. | |
| approval_required: | |
| needs: known_user | |
| environment: | |
| ${{ | |
| github.event_name == 'pull_request_target' && | |
| github.event.pull_request.head.repo.full_name != github.repository && | |
| (needs.known_user.outputs.is_member_of_org != 'true' || github.actor == 'dependabot[bot]') && | |
| 'external' || 'internal' | |
| }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - run: true | |
| build: | |
| needs: approval_required | |
| runs-on: ubuntu-latest | |
| concurrency: | |
| group: pr-${{ github.event_name }}-${{ github.head_ref }} | |
| cancel-in-progress: true | |
| timeout-minutes: 120 | |
| steps: | |
| # Need to check for stale repo, since Github is not aware of the build chain and therefore doesn't automate it. | |
| - name: Checkout timefold-solver (PR) # Checkout the PR branch first, if it exists | |
| if: github.head_ref # Only true if this is a PR. | |
| id: checkout-solver | |
| uses: actions/checkout@v4 | |
| continue-on-error: true | |
| with: | |
| repository: ${{ github.actor }}/timefold-solver | |
| ref: ${{ github.head_ref }} | |
| path: ./timefold-solver | |
| fetch-depth: 0 # Otherwise merge will fail on account of not having history. | |
| - name: Checkout timefold-solver (main) # Checkout the main branch if the PR branch does not exist | |
| if: ${{ steps.checkout-solver.outcome != 'success' }} | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: TimefoldAI/timefold-solver | |
| ref: main | |
| path: ./timefold-solver | |
| fetch-depth: 0 # Otherwise merge will fail on account of not having history. | |
| - name: Setup Temurin 21 and Maven | |
| uses: actions/setup-java@v4 | |
| with: | |
| java-version: '21' | |
| distribution: 'temurin' | |
| cache: 'maven' | |
| - name: Quickly build timefold-solver | |
| working-directory: ./timefold-solver | |
| shell: bash | |
| run: mvn -B -Dquickly clean install | |
| # Clone timefold-solver-enterprise | |
| # Need to check for stale repo, since Github is not aware of the build chain and therefore doesn't automate it. | |
| - name: Checkout timefold-solver-enterprise (PR) # Checkout the PR branch first, if it exists | |
| if: github.head_ref # Only true if this is a PR. | |
| id: checkout-solver-enterprise | |
| uses: actions/checkout@v4 | |
| continue-on-error: true | |
| with: | |
| repository: TimefoldAI/timefold-solver-enterprise | |
| ref: ${{ github.head_ref }} | |
| token: ${{ secrets.JRELEASER_GITHUB_TOKEN }} # Safe; only used to clone the repo and not stored in the fork. | |
| path: ./timefold-solver-enterprise | |
| fetch-depth: 0 # Otherwise merge will fail on account of not having history. | |
| - name: Checkout timefold-solver-enterprise (main) # Checkout the main branch if the PR branch does not exist | |
| if: steps.checkout-solver-enterprise.outcome != 'success' | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: TimefoldAI/timefold-solver-enterprise | |
| ref: main | |
| token: ${{ secrets.JRELEASER_GITHUB_TOKEN }} # Safe; only used to clone the repo and not stored in the fork. | |
| path: ./timefold-solver-enterprise | |
| fetch-depth: 0 # Otherwise merge will fail on account of not having history. | |
| - name: Quickly build timefold-solver-enterprise | |
| working-directory: ./timefold-solver-enterprise | |
| shell: bash | |
| run: mvn -B -Dquickly clean install | |
| # Clone timefold-solver-benchmarks | |
| - name: Checkout timefold-solver-benchmarks | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: TimefoldAI/timefold-solver-benchmarks | |
| ref: ${{ github.head_ref }} | |
| path: ./timefold-solver-benchmarks | |
| - name: Build and test timefold-solver-benchmarks | |
| working-directory: ./timefold-solver-benchmarks | |
| shell: bash | |
| run: mvn -B -DskipJMH clean verify |