Skip to content

Commit

Permalink
Upload tla2tools.jar maven packages to OSS Sonatype (see ossrh.xml.RE…
Browse files Browse the repository at this point in the history
…ADME) instead of authentication-only Github maven packages.

Related to apalache-mc/apalache#2995

[Build]

Signed-off-by: Markus Alexander Kuppe <[email protected]>
  • Loading branch information
lemmy committed Sep 30, 2024
1 parent f129580 commit 02c8a36
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 85 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -83,7 +83,7 @@ jobs:
run: 'echo "$MVN_SETTINGS_XML" > ~/.m2/settings.xml'
shell: bash
env:
MVN_SETTINGS_XML: ${{ secrets.MVN_SETTINGS_XML }}
MVN_SETTINGS_XML: ${{ secrets.MVN_SETTINGS_XML_2024 }}
- name: Set up Comodo Codesign keystore part I
run: 'echo "$COMODO_CODESIGN_COMBINED_PEM" > ComodoCertificate.pem'
shell: bash
Expand Down Expand Up @@ -237,16 +237,16 @@ jobs:
git push https://${{ github.actor }}:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git --follow-tags --tags --force
##
## Upload tla2tools.jar to Github maven packages.
## Upload tla2tools.jar to OSS Sonatype.
##
- name: Upload to Github maven packages
if: matrix.operating-system == 'ubuntu-latest'
run: |
cd tlatools/org.lamport.tlatools/
## Strip packages from the tla2tools.jar fatjar that are declared dependencies of the maven package (see github.xml).
zip -d dist/tla2tools.jar javax/\* com/\* META-INF/mailcap META-INF/javamail*
## github.xml replaces the Tycho pom.xml with a specific one to publish tla2tools.jar.
mvn deploy:deploy-file -Dgithub.packages.username=${{ github.actor }} -Dgithub.packages.password=${{ secrets.GITHUB_TOKEN }} -Dfile=dist/tla2tools.jar -Durl=https://maven.pkg.github.com/${{ github.repository }} -DpomFile=github.xml -DrepositoryId=github -f github.xml
## Upload tla2tools.jar maven packages to OSS Sonatype (see ossrh.xml.README).
mvn gpg:sign-and-deploy-file -Durl=https://oss.sonatype.org/content/repositories/snapshots -DrepositoryId=ossrh -DpomFile=ossrh.xml -Dfile=dist/tla2tools.jar -f ossrh.xml
##
## Trigger build of CommunityModule as integration tests, unless it creates and endless
Expand Down
81 changes: 0 additions & 81 deletions tlatools/org.lamport.tlatools/github.xml

This file was deleted.

0 comments on commit 02c8a36

Please sign in to comment.