Fix releases, publish notifications to slack on broken releases

.github/actions/with-docker/action.yml

@@ -1,10 +1,15 @@
 name: 'With Docker'
 description: 'Run a given stage with Docker Image'
 inputs:
-  tag:
-    description: 'Docker image tag to use'
+  container-name:
+    description: 'Docker container name to use'
     type: string
     required: true
+  tag-name:
+    description: 'Docker image tag to use'
+    type: string
+    required: false
+    default: runtimeverificationinc/kevm
   subdir:
     description: 'Subdirectory where code is cloned.'
     required: false
@@ -25,11 +30,6 @@ inputs:
     required: false
     type: number
     default: 14
-  jdk:
-    description: 'JDK version to use.'
-    required: false
-    type: number
-    default: 17
   dockerfile:
     description: 'Hardcode the path of the dockerfile to use.'
     required: false
@@ -43,13 +43,13 @@ runs:
     run: |
       set -euxo pipefail
 
-      TAG_NAME=${{ inputs.tag }}
+      CONTAINER_NAME=${{ inputs.container-name }}
       SUBDIR=${{ inputs.subdir }}
       BASE_OS=${{ inputs.os }}
       BASE_DISTRO=${{ inputs.distro }}
-      JDK_VERSION=${{ inputs.jdk }}
       DOCKERFILE=${{ inputs.dockerfile }}
       LLVM_VERSION=${{ inputs.llvm }}
+      TAG_NAME=${{ inputs.tag-name }}
 
       USER=github-user
       GROUP=${USER}
@@ -63,7 +63,7 @@ runs:
         --tag z3:${Z3_VERSION}                 \
 
       docker build . --file ${DOCKERFILE}        \
-        --tag runtimeverification/${TAG_NAME}    \
+        --tag ${TAG_NAME}                        \
         --build-arg USER_ID=${USER_ID}           \
         --build-arg GROUP_ID=${GROUP_ID}         \
         --build-arg USER=${USER}                 \
@@ -73,15 +73,15 @@ runs:
         --build-arg Z3_VERSION=${Z3_VERSION}     \
         --build-arg LLVM_VERSION=${LLVM_VERSION}
 
-      docker run                        \
-        --name ${TAG_NAME}              \
-        --rm                            \
-        --interactive                   \
-        --tty                           \
-        --detach                        \
-        --user root                     \
-        --workdir /home/${USER}/workspace  \
-        runtimeverification/${TAG_NAME}
+      docker run                          \
+        --name ${CONTAINER_NAME}          \
+        --rm                              \
+        --interactive                     \
+        --tty                             \
+        --detach                          \
+        --user root                       \
+        --workdir /home/${USER}/workspace \
+        ${TAG_NAME}
 
-      docker cp . ${TAG_NAME}:/home/${USER}/workspace
-      docker exec ${TAG_NAME} chown -R ${USER}:${GROUP} /home/${USER}
+      docker cp . ${CONTAINER_NAME}:/home/${USER}/workspace
+      docker exec ${CONTAINER_NAME} chown -R ${USER}:${GROUP} /home/${USER}

.github/workflows/master-push.yml

@@ -64,18 +64,23 @@ jobs:
       - name: 'Set up Docker'
         uses: ./.github/actions/with-docker
         with:
-          tag: kevm-package-jammy-${{ github.sha }}
+          container-name: kevm-package-jammy-${{ github.sha }}
+
       - name: 'Build Package'
         run: |
           set -euxo pipefail
           version=$(cat package/version)
           docker exec -u github-user kevm-package-jammy-${GITHUB_SHA} /bin/bash -c 'package/debian/package jammy'
           docker cp kevm-package-jammy-${GITHUB_SHA}:/home/github-user/kevm_${version}_amd64.deb ./
 
+      - name: 'Set Version ID'
+        run: echo "KEVM_VERSION=$(cat package/version)" >> "${GITHUB_ENV}"
+
       - name: 'Setup Foundry Test Docker'
         uses: ./.github/actions/with-docker
         with:
-          tag: kevm-ci-test-${{ github.sha }}
+          container-name: kevm-ci-test-${{ github.sha }}
+          tag-name: runtimeverificationinc/kevm:ubuntu-jammy-${{ env.KEVM_VERSION }}
           dockerfile: package/docker/Dockerfile
 
       - name: 'KEVM Foundry Test'
@@ -94,10 +99,10 @@ jobs:
           DOCKERHUB_PASSWORD: ${{ secrets.DOCKERHUB_PASSWORD }}
         run: |
           set -euxo pipefail
-          version=$(cat package/version)
-          tag_name="runtimeverificationinc/kevm:ubuntu-jammy-${version}"
+          dockerhub_repo=runtimeverificationinc/kevm
+          tag_name=ubuntu-jammy-${KEVM_VERSION}
           docker login --username rvdockerhub --password ${DOCKERHUB_PASSWORD}
-          docker image push ${tag_name}
+          docker image push "${dockerhub_repo}:${tag_name}"
 
       - name: 'Tear down Docker'
         if: always()
@@ -152,3 +157,19 @@ jobs:
           git commit -m 'gh-pages: Updated the website'
           git merge --strategy ours origin/gh-pages --allow-unrelated-histories
           git push origin gh-pages
+      - name: 'Post failure to channel'
+        if: failure()
+        uses: slackapi/slack-github-action@v1.24.0
+        with:
+          channel-id: "#kevm-notifications"
+          slack-message: "Failed to create KEVM release: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}"
+        env:
+            SLACK_BOT_TOKEN: ${{ secrets.SLACK_BOT_TOKEN }}
+      - name: 'Post success to channel'
+        if: success()
+        uses: slackapi/slack-github-action@v1.24.0
+        with:
+          channel-id: "#kevm-notifications"
+          slack-message: "Created KEVM release: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}"
+        env:
+            SLACK_BOT_TOKEN: ${{ secrets.SLACK_BOT_TOKEN }}

.github/workflows/test-pr.yml

@@ -79,7 +79,7 @@ jobs:
       - name: 'Set up Docker'
         uses: ./.github/actions/with-docker
         with:
-          tag: kevm-ci-profile-${{ github.sha }}
+          container-name: kevm-ci-profile-${{ github.sha }}
       - name: 'Build kevm-pyk'
         run: docker exec -u github-user kevm-ci-profile-${GITHUB_SHA} /bin/bash -c 'make poetry'
       - name: 'Build Foundry'
@@ -106,7 +106,7 @@ jobs:
       - name: 'Set up Docker'
         uses: ./.github/actions/with-docker
         with:
-          tag: kevm-ci-concrete-${{ github.sha }}
+          container-name: kevm-ci-concrete-${{ github.sha }}
       - name: 'Build kevm-pyk'
         run: docker exec -u github-user kevm-ci-concrete-${GITHUB_SHA} /bin/bash -c 'make poetry'
       - name: 'Build blockchain-k-plugin-deps'
@@ -139,7 +139,7 @@ jobs:
       - name: 'Set up Docker'
         uses: ./.github/actions/with-docker
         with:
-          tag: kevm-ci-haskell-${{ github.sha }}
+          container-name: kevm-ci-haskell-${{ github.sha }}
       - name: 'Prove Haskell'
         run: docker exec -u github-user kevm-ci-haskell-${GITHUB_SHA} /bin/bash -c 'make test-prove'
       - name: 'Tear down Docker'
@@ -160,7 +160,7 @@ jobs:
       - name: 'Set up Docker'
         uses: ./.github/actions/with-docker
         with:
-          tag: kevm-ci-foundry-${{ github.sha }}
+          container-name: kevm-ci-foundry-${{ github.sha }}
       - name: 'Build kevm-pyk'
         run: docker exec -u github-user kevm-ci-foundry-${GITHUB_SHA} /bin/bash -c 'make poetry'
       - name: 'Build Foundry'
@@ -185,7 +185,7 @@ jobs:
       - name: 'Set up Docker'
         uses: ./.github/actions/with-docker
         with:
-          tag: kevm-ci-booster-${{ github.sha }}
+          container-name: kevm-ci-booster-${{ github.sha }}
       - name: 'Build kevm-pyk'
         run: docker exec -u github-user kevm-ci-booster-${GITHUB_SHA} /bin/bash -c 'make poetry'
       - name: 'Build blockchain-k-plugin-deps'
@@ -250,7 +250,7 @@ jobs:
       - name: 'Set up Docker'
         uses: ./.github/actions/with-docker
         with:
-          tag: kevm-package-jammy-${{ github.sha }}
+          container-name: kevm-package-jammy-${{ github.sha }}
       - name: 'Build Package'
         run: |
           set -euxo pipefail
@@ -261,7 +261,7 @@ jobs:
       - name: 'Setup Foundry Test Docker'
         uses: ./.github/actions/with-docker
         with:
-          tag: kevm-ci-test-${{ github.sha }}
+          container-name: kevm-ci-test-${{ github.sha }}
           dockerfile: package/docker/Dockerfile
 
       - name: 'KEVM Foundry Test'

.github/workflows/update-foundry-prove.yml

@@ -23,7 +23,7 @@ jobs:
       - name: 'Set up Docker'
         uses: ./.github/actions/with-docker
         with:
-          tag: kevm-update-output-${{ github.sha }}
+          container-name: kevm-update-output-${{ github.sha }}
           os: ubuntu
           distro: jammy
           llvm: 14

kevm-pyk/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.272"
+version = "1.0.273"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",

package/debian/changelog

@@ -1,4 +1,4 @@
-kevm (1.0.272) unstable; urgency=medium
+kevm (1.0.273) unstable; urgency=medium
 
   * Initial Release.
 

package/version

@@ -1 +1 @@
-1.0.272
+1.0.273