Skip to content

Merge pull request #27 from GianDeManincor/adding-commit-and-rollback… #47

Merge pull request #27 from GianDeManincor/adding-commit-and-rollback…

Merge pull request #27 from GianDeManincor/adding-commit-and-rollback… #47

Workflow file for this run

# Copyright 2023-2023 the original author or authors.
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#
#
#
name: Java 17 CI with Maven
on:
push:
branches: [ main ]
# Each pull request is important to us, doesn't matter from which branch.
# Furthermore, we do not want to build on just the default GitHub Action
# events, we also want to react onto `labeled` events for our extended
# build execution
pull_request:
types: [ labeled, opened, synchronize, reopened ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up JDK 17
uses: actions/setup-java@v3
with:
distribution: 'temurin'
java-version: 17
cache: maven
- name: Build with Maven
run: mvn -B verify -P java-17,run-its