Merge pull request #370 from ftsrg/zenodo-publish

Added zenodo uploading to chain of releases

Author: leventeBajczi

.github/actions/zenodo-release/action.yml

@@ -0,0 +1,70 @@
+name: 'Create zenodo release'
+description: 'Create release and deploy JARs'
+inputs:
+    tool:
+        required: true
+    prevrecord:
+        required: true
+runs:
+  using: "composite"
+  steps:
+    - uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3
+      with:
+        fetch-depth: 0
+    - uses: actions/download-artifact@fa0a91b85d4f404e444e00e005971372dc801d16 # v3.0.2
+      with:
+        name: ThetaJars
+        path: jar/
+    - uses: actions/download-artifact@fa0a91b85d4f404e444e00e005971372dc801d16 # v3.0.2
+      with:
+        name: ${{inputs.tool}}_SV-COMP
+        path: upload/
+
+    - run: |
+        url='https://zenodo.org/records/${{inputs.prevrecord}}'
+        token='${{secrets.zenodo_token}}'
+        file='${{inputs.tool}}'
+        RECORD_ID=$(basename "$url")
+        echo "Creating new version for record $RECORD_ID"
+
+        NEW_VERSION=$(curl --silent -X POST \
+            -H "Authorization: Bearer $token" \
+            "https://zenodo.org/api/deposit/depositions/$RECORD_ID/actions/newversion")
+
+        NEW_VERSION_URL=$(echo "$NEW_VERSION" | jq -r '.links.bucket')
+        PUBLISH_URL=$(echo "$NEW_VERSION" | jq -r '.links.publish')
+        DEPOSITION_ID=$(echo "$NEW_VERSION" | jq -r '.links.self')
+
+        if [ "$NEW_VERSION_URL" == "null" ]; then
+            echo "Failed to create new version. Message: $NEW_VERSION"
+            exit 1
+        fi
+
+        echo "New bucket URL: $NEW_VERSION_URL"
+
+        FILE="upload/$file.zip"
+        if [ ! -f "$FILE" ]; then
+            echo "File not found: $FILE"
+            exit 1
+        fi
+
+        TODAY=$(date +'%Y-%m-%d')
+        curl --silent --fail -X PUT \
+            -H "Content-Type: application/json" \
+            -H "Authorization: Bearer $token" \
+            --data "$(sed 's/__TODAY__/'$TODAY'/g;s/__TOOL__/'$file'/g' ${{github.action_path}}/metadata.json)" \
+            "$DEPOSITION_ID" \
+            || { echo "Metadata update failed"; exit 1; }
+
+        echo "Metadata update succeeded (date := $TODAY)"
+
+        curl --fail --silent -H "Authorization: Bearer $token" --upload-file "$FILE" "$NEW_VERSION_URL"/"$file.zip" || { echo "Upload failed"; exit 1; }
+
+        echo "Upload successful"
+
+        echo curl --fail --silent -X POST -H "Authorization: Bearer $token" "$PUBLISH_URL"
+
+        curl --fail --silent -X POST -H "Authorization: Bearer $token" "$PUBLISH_URL" || { echo "Publish failed"; exit 1; }
+
+        echo "Publish successful"
+      shell: bash

.github/actions/zenodo-release/metadata.json

@@ -0,0 +1,68 @@
+{
+    "metadata": {
+        "title": "__TOOL__ - Verifier Archive",
+        "publication_date": "__TODAY__",
+        "access_right": "open",
+        "creators": [
+            {
+                "name": "Bajczi, Levente",
+                "affiliation": "Budapest University of Technology and Economics",
+                "orcid": "0000-0002-6551-5860"
+            },
+            {
+                "name": "Telbisz, Csan\u00e1d",
+                "affiliation": "Budapest University of Technology and Economics",
+                "orcid": "0000-0002-6260-5908"
+            },
+            {
+                "name": "Somorjai, M\u00e1rk",
+                "affiliation": "Budapest University of Technology and Economics",
+                "orcid": "0000-0001-7537-0469"
+            },
+            {
+                "name": "\u00c1d\u00e1m, Zs\u00f3fia",
+                "affiliation": "Budapest University of Technology and Economics",
+                "orcid": "0000-0003-2354-1750"
+            },
+            {
+                "name": "Dobos-Kov\u00e1cs, Mih\u00e1ly",
+                "affiliation": "Budapest University of Technology and Economics",
+                "orcid": "0000-0002-0064-2965"
+            },
+            {
+                "name": "Szekeres, D\u00e1niel",
+                "affiliation": "Budapest University of Technology and Economics",
+                "orcid": "0000-0002-2912-028X"
+            },
+            {
+                "name": "Mondok, Mil\u00e1n",
+                "affiliation": "Budapest University of Technology and Economics",
+                "orcid": "0000-0001-5396-2172"
+            },
+            {
+                "name": "Moln\u00e1r, Vince",
+                "affiliation": "Budapest University of Technology and Economics"
+            }
+        ],
+        "custom": {
+            "code:codeRepository": "https://github.com/ftsrg/theta",
+            "code:programmingLanguage": [
+                {
+                    "id": "java",
+                    "title": {
+                        "en": "Java"
+                    }
+                },
+                {
+                    "id": "kotlin",
+                    "title": {
+                        "en": "Kotlin"
+                    }
+                }
+            ]
+        },
+        "license": "cc-by-4.0",
+        "imprint_publisher": "Zenodo",
+        "upload_type": "software"
+    }
+}

.github/workflows/linux-build-test-deploy.yml

@@ -100,7 +100,7 @@ jobs:
     needs: [build, create-spec-transformation]
     strategy:
       matrix:
-        tool: [Theta, EmergenTheta, Thorn]
+        tool: [Theta, EmergenTheta, Thorn, ThetaCHC]
         include:
           - tool: Theta
             script: theta-start.sh
@@ -183,6 +183,31 @@ jobs:
         with:
           message: ${{ inputs.message }}
 
+  deploy-zenodo:
+    needs: [test-linux, create-archives]
+    if: "${{ github.event.inputs.message != '' &&  github.ref == 'refs/heads/master' && github.event_name != 'pull_request' }}"
+    runs-on: ubuntu-24.04
+    strategy:
+      matrix:
+        tool: [Theta, EmergenTheta, Thorn, ThetaCHC]
+        include:
+          - tool: Theta
+            record: 14194483
+          - tool: EmergenTheta
+            record: 15536866
+          - tool: Thorn
+            record: 14194485
+          - tool: ThetaCHC
+            record: 15537027
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3
+      - name: Create zenodo release and deploy tools
+        uses: ./.github/actions/zenodo-release
+        with:
+          tool: ${{matrix.tool}}
+          precrecord: ${{matrix.record}}
+
   deploy-maven:
     # needs: test-linux
     if: "${{ github.event.inputs.message != '' && github.ref == 'refs/heads/master' && github.event_name != 'pull_request' }}"

build.gradle.kts

@@ -29,7 +29,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.theta"
-    version = "6.15.3"
+    version = "6.15.4"
 
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))