Skip to content

Update dependency org.eclipse.jgit:org.eclipse.jgit.pgm to v7.3.0.202506031305-r #8

Update dependency org.eclipse.jgit:org.eclipse.jgit.pgm to v7.3.0.202506031305-r

Update dependency org.eclipse.jgit:org.eclipse.jgit.pgm to v7.3.0.202506031305-r #8

Workflow file for this run

name: "Check"
on:
push:
branches:
- main
pull_request:
workflow_dispatch:
concurrency:
group: "${{ github.workflow }}-${{ github.head_ref || github.ref }}"
cancel-in-progress: true
jobs:
check:
runs-on: ubuntu-latest
steps:
- name: checkout
uses: actions/checkout@v4
with:
fetch-depth: '0'
show-progress: 'false'
- uses: actions/cache@v4
with:
path: /root/.jbang
key: $-jbang-$
restore-keys: |
$-jbang-
- name: jbang
uses: jbangdev/jbang-action@v0.126.1
with:
script: CreatePRMergeCommit.java
scriptargs: --help
env:
GITHUB_OAUTH: ${{ secrets.GITHUB_TOKEN }}