From 3430076890282ea3702d0c727a53b0bb9281aad2 Mon Sep 17 00:00:00 2001 From: Enrico Steffinlongo Date: Wed, 1 Feb 2023 16:25:35 +0000 Subject: [PATCH 1/2] Fixed invalid package name --- .github/workflows/release-packages.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml index 54a1121e220..80e60fa12af 100644 --- a/.github/workflows/release-packages.yaml +++ b/.github/workflows/release-packages.yaml @@ -6,7 +6,7 @@ env: name: Upload additional release assets jobs: - ubuntu-22.04-package: + ubuntu-22_04-package: runs-on: ubuntu-22.04 env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} From 09a9fe93f301f0321ab2a96bfc38a586a5f05ac8 Mon Sep 17 00:00:00 2001 From: Enrico Steffinlongo Date: Wed, 1 Feb 2023 16:26:12 +0000 Subject: [PATCH 2/2] Increased release version to 5.76.1 --- src/config.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/config.inc b/src/config.inc index 828d138ee96..68ba3cc0bbc 100644 --- a/src/config.inc +++ b/src/config.inc @@ -76,7 +76,7 @@ endif OSX_IDENTITY="Developer ID Application: Daniel Kroening" # Detailed version information -CBMC_VERSION = 5.76.0 +CBMC_VERSION = 5.76.1 # Use the CUDD library for BDDs, can be installed using `make -C src cudd-download` # CUDD = ../../cudd-3.0.0