Skip to content

GitHub actions #5433

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Jul 29, 2020
Merged

GitHub actions #5433

Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
295bc7b
Modify GitHub Actions patch of Debian 64bit_regression_tests.patch file.
Jul 24, 2020
c876645
Modify GitHub Actions to build only /usr/local/bin installers.
Jul 24, 2020
0856ebe
Clean up packages.yaml.
Jul 28, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 11 additions & 2 deletions .github/workflows/debian/64bit_regression_tests.patch
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,14 @@
--- 64bit_regression_tests 2020-06-19 16:40:45.963502746 +0000
+++ 64bit_regression_tests_patch 2020-06-19 16:42:12.338994730 +0000
--- /tmp/64bit_regression_tests 2020-07-24 18:34:51.811830486 +0000
+++ 64bit_regression_tests 2020-07-24 18:36:44.827779374 +0000
@@ -87,7 +87,7 @@
<type>union myunion</type>
-<full_lhs>byte_extract_little_endian\(u, 0ll?, .*int.*\)</full_lhs>
+<full_lhs>byte_extract_little_endian\(u, 0l?l?, .*int.*\)</full_lhs>
- <full_lhs_value>\d+ll?</full_lhs_value>
+ <full_lhs_value binary="[01]+">\d+ll?</full_lhs_value>
<value>\{ \.i=\d+ll? \}</value>
<value_expression>
--- cbmc-5.12.orig/regression/cbmc/byte_update11/main.c
@@ -147,14 +147,14 @@
--harness-type call-function --function test --treat-pointer-as-array arr --associated-array-size arr:sz
^EXIT=0$
Expand Down
174 changes: 87 additions & 87 deletions .github/workflows/packages.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,7 @@ jobs:
echo CBMC_VERSION = ${{ steps.version.outputs.cbmc_version }}
echo PKG_VERSION = ${{ steps.version.outputs.pkg_version }}

Ubuntu16_Stable:
Ubuntu16:
name: Ubuntu 16 cbmc package
runs-on: ubuntu-16.04
needs: Tags
Expand Down Expand Up @@ -105,43 +105,43 @@ jobs:
name: ${{ env.ARTIFACT_STABLE_NAME }}
path: ${{ env.PACKAGE_STABLE_NAME }}

Ubuntu16_Latest:
name: Ubuntu 16 cbmc-latest package
runs-on: ubuntu-16.04
needs: Tags
env:
OS: xenial
PKG_VERSION: ${{needs.Tags.outputs.pkg_version}}
CBMC_VERSION: ${{needs.Tags.outputs.cbmc_version}}
TIME: ${{needs.Tags.outputs.time}}
SHA: ${{needs.Tags.outputs.sha}}

PACKAGE_LATEST_NAME: cbmc-latest_${{needs.Tags.outputs.pkg_version}}~xenial_amd64.deb
ARTIFACT_LATEST_NAME: Ubuntu16 cbmc-latest ${{needs.Tags.outputs.pkg_version}} xenial ${{needs.Tags.outputs.time}} ${{needs.Tags.outputs.sha}} ${{needs.Tags.outputs.runid}}

SCRIPT_DIR: .github/workflows/debian
steps:

- name: Checkout the repository
uses: actions/checkout@v2

- name: Update the submodules
run: git submodule update --init

- name: Create the package
run: |
cp -r . /tmp/cbmc-${CBMC_VERSION}
cp ${SCRIPT_DIR}/Makefile ${SCRIPT_DIR}/changelog ${SCRIPT_DIR}/surefire ${SCRIPT_DIR}/64bit_regression_tests.patch /tmp
make -C /tmp GITHUB=1 STABLE= CBMC_VERSION=${CBMC_VERSION} PKG_VERSION=${PKG_VERSION}
mv /tmp/*.deb ${PACKAGE_LATEST_NAME}

- name: Upload the package
uses: actions/upload-artifact@v1
with:
name: ${{ env.ARTIFACT_LATEST_NAME }}
path: ${{ env.PACKAGE_LATEST_NAME }}

Ubuntu18_Stable:
# Ubuntu16_Latest:
# name: Ubuntu 16 cbmc-latest package
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Simply get rid of the commented lines?

# runs-on: ubuntu-16.04
# needs: Tags
# env:
# OS: xenial
# PKG_VERSION: ${{needs.Tags.outputs.pkg_version}}
# CBMC_VERSION: ${{needs.Tags.outputs.cbmc_version}}
# TIME: ${{needs.Tags.outputs.time}}
# SHA: ${{needs.Tags.outputs.sha}}
#
# PACKAGE_LATEST_NAME: cbmc-latest_${{needs.Tags.outputs.pkg_version}}~xenial_amd64.deb
# ARTIFACT_LATEST_NAME: Ubuntu16 cbmc-latest ${{needs.Tags.outputs.pkg_version}} xenial ${{needs.Tags.outputs.time}} ${{needs.Tags.outputs.sha}} ${{needs.Tags.outputs.runid}}
#
# SCRIPT_DIR: .github/workflows/debian
# steps:
#
# - name: Checkout the repository
# uses: actions/checkout@v2
#
# - name: Update the submodules
# run: git submodule update --init
#
# - name: Create the package
# run: |
# cp -r . /tmp/cbmc-${CBMC_VERSION}
# cp ${SCRIPT_DIR}/Makefile ${SCRIPT_DIR}/changelog ${SCRIPT_DIR}/surefire ${SCRIPT_DIR}/64bit_regression_tests.patch /tmp
# make -C /tmp GITHUB=1 STABLE= CBMC_VERSION=${CBMC_VERSION} PKG_VERSION=${PKG_VERSION}
# mv /tmp/*.deb ${PACKAGE_LATEST_NAME}
#
# - name: Upload the package
# uses: actions/upload-artifact@v1
# with:
# name: ${{ env.ARTIFACT_LATEST_NAME }}
# path: ${{ env.PACKAGE_LATEST_NAME }}

Ubuntu18:
name: Ubuntu 18 cbmc package
runs-on: ubuntu-18.04
needs: Tags
Expand Down Expand Up @@ -177,41 +177,41 @@ jobs:
name: ${{ env.ARTIFACT_STABLE_NAME }}
path: ${{ env.PACKAGE_STABLE_NAME }}

Ubuntu18_Latest:
name: Ubuntu 18 cbmc-latest package
runs-on: ubuntu-18.04
needs: Tags
env:
OS: bionic
PKG_VERSION: ${{needs.Tags.outputs.pkg_version}}
CBMC_VERSION: ${{needs.Tags.outputs.cbmc_version}}
TIME: ${{needs.Tags.outputs.time}}
SHA: ${{needs.Tags.outputs.sha}}

PACKAGE_LATEST_NAME: cbmc-latest_${{needs.Tags.outputs.pkg_version}}~bionic_amd64.deb
ARTIFACT_LATEST_NAME: Ubuntu18 cbmc-latest ${{needs.Tags.outputs.pkg_version}} bionic ${{needs.Tags.outputs.time}} ${{needs.Tags.outputs.sha}} ${{needs.Tags.outputs.runid}}

SCRIPT_DIR: .github/workflows/debian
steps:

- name: Checkout the repository
uses: actions/checkout@v2

- name: Update the submodules
run: git submodule update --init

- name: Create the package
run: |
cp -r . /tmp/cbmc-${CBMC_VERSION}
cp ${SCRIPT_DIR}/Makefile ${SCRIPT_DIR}/changelog ${SCRIPT_DIR}/surefire ${SCRIPT_DIR}/64bit_regression_tests.patch /tmp
make -C /tmp GITHUB=1 STABLE= CBMC_VERSION=${CBMC_VERSION} PKG_VERSION=${PKG_VERSION}
mv /tmp/*.deb ${PACKAGE_LATEST_NAME}

- name: Upload the package
uses: actions/upload-artifact@v1
with:
name: ${{ env.ARTIFACT_LATEST_NAME }}
path: ${{ env.PACKAGE_LATEST_NAME }}
# Ubuntu18_Latest:
# name: Ubuntu 18 cbmc-latest package
# runs-on: ubuntu-18.04
# needs: Tags
# env:
# OS: bionic
# PKG_VERSION: ${{needs.Tags.outputs.pkg_version}}
# CBMC_VERSION: ${{needs.Tags.outputs.cbmc_version}}
# TIME: ${{needs.Tags.outputs.time}}
# SHA: ${{needs.Tags.outputs.sha}}
#
# PACKAGE_LATEST_NAME: cbmc-latest_${{needs.Tags.outputs.pkg_version}}~bionic_amd64.deb
# ARTIFACT_LATEST_NAME: Ubuntu18 cbmc-latest ${{needs.Tags.outputs.pkg_version}} bionic ${{needs.Tags.outputs.time}} ${{needs.Tags.outputs.sha}} ${{needs.Tags.outputs.runid}}
#
# SCRIPT_DIR: .github/workflows/debian
# steps:
#
# - name: Checkout the repository
# uses: actions/checkout@v2
#
# - name: Update the submodules
# run: git submodule update --init
#
# - name: Create the package
# run: |
# cp -r . /tmp/cbmc-${CBMC_VERSION}
# cp ${SCRIPT_DIR}/Makefile ${SCRIPT_DIR}/changelog ${SCRIPT_DIR}/surefire ${SCRIPT_DIR}/64bit_regression_tests.patch /tmp
# make -C /tmp GITHUB=1 STABLE= CBMC_VERSION=${CBMC_VERSION} PKG_VERSION=${PKG_VERSION}
# mv /tmp/*.deb ${PACKAGE_LATEST_NAME}
#
# - name: Upload the package
# uses: actions/upload-artifact@v1
# with:
# name: ${{ env.ARTIFACT_LATEST_NAME }}
# path: ${{ env.PACKAGE_LATEST_NAME }}

MacOS:
name: MacOS packages
Expand Down Expand Up @@ -242,19 +242,19 @@ jobs:
run: |
make -f ${SCRIPT_DIR}/Makefile
mv cbmc.tar.gz ${PACKAGE_STABLE_NAME}
mv cbmc-latest.tar.gz ${PACKAGE_LATEST_NAME}
# mv cbmc-latest.tar.gz ${PACKAGE_LATEST_NAME}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also remove PACKAGE_LATEST_NAME environment variable above.


- name: Upload the cbmc package
uses: actions/upload-artifact@v1
with:
name: ${{env.ARTIFACT_STABLE_NAME}}
path: ${{env.PACKAGE_STABLE_NAME}}

- name: Upload the cbmc-latest package
uses: actions/upload-artifact@v1
with:
name: ${{env.ARTIFACT_LATEST_NAME}}
path: ${{env.PACKAGE_LATEST_NAME}}
# - name: Upload the cbmc-latest package
# uses: actions/upload-artifact@v1
# with:
# name: ${{env.ARTIFACT_LATEST_NAME}}
# path: ${{env.PACKAGE_LATEST_NAME}}

VS2019:
name: Windows VS2019 installers
Expand Down Expand Up @@ -298,18 +298,18 @@ jobs:
run: |
${{env.SCRIPT_DIR}}\build-installer.bat cbmc && move cbmc.msi ${{env.PACKAGE_STABLE_NAME}}

- name: Build the latest installer
run: |
${{env.SCRIPT_DIR}}\build-installer.bat cbmc-latest && move cbmc-latest.msi ${{env.PACKAGE_LATEST_NAME}}
# - name: Build the latest installer
# run: |
# ${{env.SCRIPT_DIR}}\build-installer.bat cbmc-latest && move cbmc-latest.msi ${{env.PACKAGE_LATEST_NAME}}

- name: Upload the cbmc installer
uses: actions/upload-artifact@v1
with:
name: ${{env.ARTIFACT_STABLE_NAME}}
path: ${{env.PACKAGE_STABLE_NAME}}

- name: Upload the cbmc-latest installer
uses: actions/upload-artifact@v1
with:
name: ${{env.ARTIFACT_LATEST_NAME}}
path: ${{env.PACKAGE_LATEST_NAME}}
# - name: Upload the cbmc-latest installer
# uses: actions/upload-artifact@v1
# with:
# name: ${{env.ARTIFACT_LATEST_NAME}}
# path: ${{env.PACKAGE_LATEST_NAME}}