Skip to content

Fix duplicate entries in workspace symbols dialog #300

Fix duplicate entries in workspace symbols dialog

Fix duplicate entries in workspace symbols dialog #300

Workflow file for this run

name: build
on: [push, pull_request]
jobs:
build-latest-target:
runs-on: macos-latest
steps:
- uses: actions/checkout@v4
- name: Set up JDK 17
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: 17
- name: Cache maven repo
uses: actions/cache@v3
if: github.event_name == 'push' || github.event_name == 'pull_request'
with:
path: ~/.m2/repository
key: ${{ runner.os }}-maven-latest-${{ hashFiles('**/pom.xml') }}-${{ hashFiles('targets/latest/latest.target') }}
restore-keys: |
${{ runner.os }}-maven-latest-
- name: Build with Maven (latest target)
working-directory: ./releng
run: mvn clean verify -Dtycho.localArtifacts=ignore -B -V
build-base-target:
runs-on: macos-latest
steps:
- uses: actions/checkout@v4
- name: Set up JDK 17
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: 17
- name: Cache maven repo
uses: actions/cache@v3
if: github.event_name == 'push' || github.event_name == 'pull_request'
with:
path: ~/.m2/repository
key: ${{ runner.os }}-maven-base-${{ hashFiles('**/pom.xml') }}-${{ hashFiles('targets/base/base.target') }}
restore-keys: |
${{ runner.os }}-maven-base-
- name: Build with Maven (base target)
working-directory: ./releng
run: mvn clean verify -Dtycho.localArtifacts=ignore -Dtarget=base -B -V