test:verilog: Remove some forgotten debug logs. #622
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
# | |
# Copyright (c) 2021-present, Trail of Bits, Inc. | |
# All rights reserved. | |
# | |
# This source code is licensed in accordance with the terms specified in | |
# the LICENSE file found in the root directory of this source tree. | |
# | |
name: Build | |
on: | |
push: | |
branches: | |
- 'master' | |
tags: | |
- '*' | |
pull_request: | |
branches: | |
- '*' | |
env: | |
# Setup compiler | |
CC: clang-16 | |
CXX: clang++-16 | |
jobs: | |
build_linux: | |
runs-on: ubuntu-22.04 | |
timeout-minutes: 45 | |
container: | |
image: "ghcr.io/trailofbits/circuitous-ubuntu-22.04-dev:latest" | |
steps: | |
# setup circuitous | |
- name: Clone the circuitous repository | |
uses: actions/checkout@v3 | |
with: | |
submodules: true | |
fetch-depth: 1 | |
- name: Build and test | |
env: | |
CXX_COMMON_ROOT: "/usr/src/cxx-common" | |
run: | | |
cmake --preset ninja-system-remill-x64-linux-rel | |
cmake --build ./builds/ninja-system-remill-x64-linux-rel -j $(nproc) | |
ctest --preset ninja-system-remill-x64-linux-rel-test --output-on-failure | |
cpack -G TXZ --config ./builds/ninja-system-remill-x64-linux-rel/CPackConfig.cmake | |
- name: Upload circuitous package artifact | |
uses: actions/upload-artifact@v3 | |
with: | |
name: circuitous-ubuntu-22.04 | |
path: /home/runner/work/circuitous/circuitous/builds/ninja-system-remill-x64-linux-rel/package | |
retention-days: 30 | |