Skip to content

Update org.eclipse.jgit to 7.1.0.202411261347-r #252

Update org.eclipse.jgit to 7.1.0.202411261347-r

Update org.eclipse.jgit to 7.1.0.202411261347-r #252

Workflow file for this run

name: CI
on:
create:
tags:
- v*
push:
branches:
- master
pull_request:
jobs:
pipeline:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Pull all history with tags for correct versionning
run: git fetch --prune --unshallow
- name: Checks
run: |
git config --global user.name "CI"
./mill all __.checkStyle __.docJar __.test
- name: Publish
if: github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/tags/v') || github.event_name == 'release'
run: |
echo "${{secrets.pgp_secret_key}}" > private.key
gpg --batch --yes --import private.key
rm private.key
./mill mill.scalalib.PublishModule/publishAll --sonatypeCreds ${{secrets.sonatype_credentials}} --publishArtifacts __.publishArtifacts --awaitTimeout 600000 --release true