Skip to content

Refresh option not available for some resources that are not closed p… #5085

Refresh option not available for some resources that are not closed p…

Refresh option not available for some resources that are not closed p… #5085

Workflow file for this run

name: Continuous Integration
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/mavenBuild.yml@master