Add CodeCov action (#42) #208
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Some of the these steps are probably unnecessary on the GitHub runners. | |
| # However, I'd like to be able to use the 'act' <https://github.com/nektos/act> | |
| # tool to run the action locally. | |
| # | |
| # Instructions for using the Kitware APT repository were found at | |
| # <https://apt.kitware.com> | |
| name: KLEE Test | |
| on: | |
| push: | |
| branches: [ "main" ] | |
| pull_request: | |
| # The branches below must be a subset of the branches above | |
| branches: [ "main" ] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| jobs: | |
| klee: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: klee/klee:3.0 | |
| options: -u 0 --ulimit="stack=-1:-1" | |
| steps: | |
| - name: Install NodeJS 20 | |
| run: | | |
| # Download and import the Nodesource GPG key | |
| sudo apt-get update | |
| sudo apt-get install -y ca-certificates curl gnupg | |
| sudo mkdir -p /etc/apt/keyrings | |
| curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | sudo gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg | |
| # Create deb repository | |
| NODE_MAJOR=20 | |
| echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_$NODE_MAJOR.x nodistro main" | sudo tee /etc/apt/sources.list.d/nodesource.list | |
| # Run Update and Install | |
| sudo apt-get update | |
| sudo apt-get install nodejs -y | |
| #- name: Harden Runner | |
| # uses: step-security/harden-runner@1b05615854632b887b69ae1be8cbefe72d3ae423 # v2.6.0 | |
| # with: | |
| # egress-policy: audit | |
| - name: Get the Kitware APT repository signing key | |
| run: | | |
| wget -O - https://apt.kitware.com/keys/kitware-archive-latest.asc 2>/dev/null | gpg --dearmor - | sudo tee /usr/share/keyrings/kitware-archive-keyring.gpg >/dev/null | |
| - name: Add Kitware repository | |
| run: | | |
| CODENAME=$(lsb_release -c | sed -n -e 's/Codename:[[:space:]]*//gp') | |
| echo "deb [signed-by=/usr/share/keyrings/kitware-archive-keyring.gpg] https://apt.kitware.com/ubuntu/ $CODENAME main" | sudo tee /etc/apt/sources.list.d/kitware.list >/dev/null | |
| sudo apt-get update | |
| - name: Install the kitware-archive-keyring package | |
| run: | | |
| sudo rm /usr/share/keyrings/kitware-archive-keyring.gpg | |
| sudo apt-get install -y kitware-archive-keyring | |
| - name: Install cmake, Ninja, & libc++ | |
| run: | | |
| sudo apt-get install -y cmake ninja-build | |
| sudo apt-get install -y libc++-13-dev libc++abi-13-dev | |
| - name: Upgrade git | |
| run: | | |
| sudo add-apt-repository -y ppa:git-core/ppa | |
| sudo apt-get install -y git | |
| - name: Checkout repository | |
| uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1 | |
| with: | |
| submodules: 'True' | |
| - name: Create the Build Environment | |
| run: cmake -E make_directory "${{ github.workspace }}/build" | |
| - name: Configure | |
| run: | | |
| cmake -G Ninja \ | |
| -B "${{ github.workspace }}/build" \ | |
| -S "$GITHUB_WORKSPACE" \ | |
| -D CMAKE_BUILD_TYPE=Release \ | |
| -D CMAKE_CXX_COMPILER=clang++ \ | |
| -D CMAKE_C_COMPILER=clang \ | |
| -D PEEJAY_CXX17=Yes \ | |
| -D LIBCXX=Yes \ | |
| -D WERROR=Yes | |
| - name: KLEE Build | |
| run: cmake --build "${{ github.workspace }}/build" --target klee-build-all | |
| - name: KLEE Test | |
| run: cmake --build "${{ github.workspace }}/build" --target klee-all | |
| - name: Compress Test Outputs | |
| run: | | |
| tar czf ./kout.tgz "${{ github.workspace }}/build/klee/kout" | |
| - name: Upload Test Outputs | |
| uses: actions/upload-artifact@a8a3f3ad30e3422c9c7b888a15615d19a852ae32 # v3.1.3 | |
| with: | |
| name: kout.tgz | |
| path: ./kout.tgz |