Skip to content

Add new methods

Add new methods #118

#
# This file is part of veraPDF Validation Project, a module of the veraPDF project.
# Copyright (c) 2015-2024, veraPDF Consortium <[email protected]>
# All rights reserved.
#
# veraPDF Validation Project is free software: you can redistribute it and/or modify
# it under the terms of either:
#
# The GNU General public license GPLv3+.
# You should have received a copy of the GNU General Public License
# along with veraPDF Validation Project as the LICENSE.GPL file in the root of the source
# tree. If not, see http://www.gnu.org/licenses/ or
# https://www.gnu.org/licenses/gpl-3.0.en.html.
#
# The Mozilla Public License MPLv2+.
# You should have received a copy of the Mozilla Public License along with
# veraPDF Validation Project as the LICENSE.MPL file in the root of the source tree.
# If a copy of the MPL was not distributed with this file, you can obtain one at
# http://mozilla.org/MPL/2.0/.
#
name: Update jakarta branch
on:
push:
branches:
- integration
jobs:
checkout-and-build:
if: github.repository == 'veraPDF/veraPDF-validation'
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
java-version: [11, 17, 21]
steps:
- name: Checkout code
uses: actions/checkout@v4
with:
fetch-depth: 0
ref: integration
- name: JDK setup
uses: actions/setup-java@v4
continue-on-error: true
with:
java-version: ${{ matrix.java-version }}
distribution: 'temurin'
cache: maven
- name: Fetch jakarta branch and checkout
run: |
git fetch origin jakarta:jakarta
git checkout -b test-branch jakarta
- name: Configure user name
run: |
git config user.name "Git User"
git config user.email "[email protected]"
- name: Add commit to the test branch
run: git cherry-pick -m 1 ${{ github.event.before }}..${{ github.event.after }} --empty=drop
- name: Build project with Maven
if: success()
run: mvn --batch-mode --update-snapshots verify
merge:
runs-on: ubuntu-latest
needs: checkout-and-build
steps:
- name: Checkout code
uses: actions/checkout@v4
with:
fetch-depth: 0
ref: integration
- name: Generate new branch name
id: new-branch-name
run: echo "branch_name=new-branch-$(date +%s)" >> "$GITHUB_OUTPUT"
- name: Fetch jakarta branch and checkout
run: |
git fetch origin jakarta:jakarta
git checkout -b ${{ steps.new-branch-name.outputs.branch_name }} jakarta
- name: Configure user name
run: |
git config user.name "Git User"
git config user.email "[email protected]"
- name: Add commit to new branch
run: git cherry-pick -m 1 ${{ github.event.before }}..${{ github.event.after }} --empty=drop
- name: Merge branch into jakarta
if: success()
run: |
git push origin ${{ steps.new-branch-name.outputs.branch_name }}
git checkout jakarta
git merge ${{ steps.new-branch-name.outputs.branch_name }}
git push origin jakarta
- name: Delete new branch
run: git push origin --delete ${{ steps.new-branch-name.outputs.branch_name }}
send-notification:
runs-on: ubuntu-latest
needs: [checkout-and-build, merge]
if: |
always() &&
github.repository == 'veraPDF/veraPDF-validation' &&
(contains(needs.*.result, 'failure') ||
contains(needs.*.result, 'skipped') ||
contains(needs.*.result, 'cancelled'))
steps:
- name: Send notification if build or merge failed
env:
SLACK_BOT_TOKEN: ${{ secrets.SLACK_NOTIFICATIONS_BOT_TOKEN }}
uses: voxmedia/github-action-slack-notify-build@v1
with:
channel_id: C03E3JJGLQL
status: FAILED
color: danger