Add ci-pipeline publishing for cogen

Author: JanBessai

.github/workflows/test_and_release.yml

@@ -0,0 +1,44 @@
+name: Test code, update coverage, and release main branch
+
+on: [ push, pull_request ]
+
+jobs:
+  release:
+    runs-on: ubuntu-latest
+    needs: [ ]
+    steps:
+      - uses: actions/checkout@v4.2.2
+      - name: Check if we are head of main
+        id: check_head_of_main
+        run: |
+          git fetch origin main &&
+          MAIN=`git rev-parse origin/main` &&
+          echo "::set-output name=head_of_main::$MAIN" &&
+          CURRENT=`git rev-list -n 1 ${{ github.ref }} || echo "NOT_MAIN"` &&
+          echo "::set-output name=current_job_ref::$CURRENT"
+      - name: Set up JDK
+        if: steps.check_head_of_main.outputs.head_of_main == steps.check_head_of_main.outputs.current_job_ref
+        uses: actions/setup-java@v4
+        with:
+          distribution: temurin
+          java-version: 21
+      - name: Set up SBT
+        if: steps.check_head_of_master.outputs.head_of_main == steps.check_head_of_main.outputs.current_job_ref
+        uses: sbt/setup-sbt@v1.10.11
+      - name: Build and release
+        if: steps.check_head_of_master.outputs.head_of_main == steps.check_head_of_main.outputs.current_job_ref
+        env:
+          SONATYPE_USERNAME: ${{ secrets.SONATYPE_USERNAME }}
+          SONATYPE_PASSWORD: ${{ secrets.SONATYPE_PASSWORD }}
+          SONA_USER: ${{ secrets.SONATYPE_USERNAME }}
+          SONA_PASS: ${{ secrets.SONATYPE_PASSWORD }}
+          PGP_SECRET: ${{ secrets.PGP_SECRET }}
+          PGP_PASSPHRASE: ${{ secrets.PGP_PASSPHRASE }}
+          PGP_KEY_HEX: ${{ secrets.PGP_KEY_HEX }}
+          CI: github
+        run: |
+          git fetch --prune --unshallow --tags &&
+          export GPG_TTY=$(tty) &&
+          echo $PGP_SECRET | base64 -d | gpg --passphrase=$PGP_PASSPHRASE --yes --batch --pinentry-mode loopback --import &&
+          export PATH=`pwd`/.github/bin:$PATH &&
+          sbt cogen/ciReleaseTagNextVersion cogen/ciReleaseSonatype

build.sbt

@@ -1,6 +1,9 @@
+import sbt.Keys._
+import sbt.Resolver
+import xerial.sbt.Sonatype.sonatypeCentralHost
+
 /** Settings shared globally. **/
 lazy val commonSettings = Seq(
-  version := "1.0.0-SNAPSHOT",
   organization := "org.combinators",
 
   scalaVersion := "3.7.4",
@@ -28,9 +31,27 @@ lazy val commonSettings = Seq(
     "org.typelevel" %% "cats-effect" % "3.6.1"
   ),
   evictionErrorLevel := Level.Info,
+) ++ publishSettings
+
+lazy val publishSettings = Seq(
+  homepage := Some(url("https://combinators.org")),
+  licenses := Seq("Apache 2" -> url("http://www.apache.org/licenses/LICENSE-2.0.txt")),
+  scmInfo := Some(ScmInfo(url("https://www.github.com/combinators/expression-problem"), "scm:git:git@github.com:combinators/expression-problem.git")),
+  developers := List(
+    Developer("JanBessai", "Jan Bessai", "jan.bessai@tu-dortmund.de", url("http://noprotocol.net")),
+    Developer("heineman", "George T. Heineman", "heineman@wpi.edu", url("http://www.cs.wpi.edu/~heineman")),
+    Developer("BorisDuedder", "Boris Düdder", "boris.d@di.ku.dk", url("http://duedder.net"))
+  ),
+  publishTo := sonatypePublishToBundle.value,
+  ThisBuild / sonatypeCredentialHost := sonatypeCentralHost,
+) ++ sys.env.get("PGP_KEY_HEX").map(h => usePgpKeyHex(h)).seq
+
+lazy val noPublishSettings = Seq(
+  publish := Seq.empty,
+  publishLocal := Seq.empty,
+  publishArtifact := false
 )
 
-
 /** The code generation infrastructure used in languages.
   * Things in here are (DI, LI, AI).
   */

project/plugins.sbt

@@ -0,0 +1,2 @@
+logLevel := Level.Warn
+addSbtPlugin("io.shiftleft" % "sbt-ci-release-early" % "2.1.9")