fix all warnings, add most missing algos, revamp algorithms.h #87
Workflow file for this run
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
| name: CI | |
| on: | |
| push: | |
| paths-ignore: | |
| - 'data/*' | |
| - 'results/*' | |
| pull_request: | |
| paths-ignore: | |
| - 'data/*' | |
| - 'results/*' | |
| jobs: | |
| linux: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 10 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - run: ./build.sh dotest && make check | |
| sanitizer: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 15 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Fix kernel mmap rnd bits for -fsanitize=address | |
| run: | | |
| # https://github.com/actions/runner-images/issues/9491 | |
| sudo sysctl vm.mmap_rnd_bits=28 | |
| - name: make SANITIZE=1 && test-asan `./algocfg asan` | |
| # all asan's that are also good | |
| run: | | |
| make CC=clang SANITIZE=1 && | |
| for t in `cat asan.lst` | |
| do | |
| ./test-asan "$t" | |
| done | |
| lint: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 15 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - run: | | |
| sudo apt-get -y install cppcheck clang-tidy bear | |
| - run: make lint | |
| verify: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 15 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - run: | | |
| sudo apt-get -y install cbmc | |
| - run: make algocfg check-verify | |
| windows: | |
| runs-on: windows-latest | |
| timeout-minutes: 10 | |
| env: | |
| MSYS2_DIR: msys64 | |
| MSYS2_ARCH: x86_64 | |
| MSYSTEM: MINGW64 | |
| ARCH: win64 | |
| PLATFORM: x64 | |
| steps: | |
| # see https://github.com/msys2/setup-msys2 | |
| - name: setup-msys2 | |
| uses: msys2/setup-msys2@v2 | |
| with: | |
| path-type: minimal | |
| update: true | |
| install: >- | |
| git | |
| base-devel | |
| mingw-w64-x86_64-toolchain | |
| - name: checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 1 | |
| - shell: msys2 {0} | |
| run: ./build.sh | |
| macOS: | |
| runs-on: macos-latest | |
| timeout-minutes: 10 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - run: | | |
| sudo sysctl -w kern.sysv.shmmax=16777216 | |
| sudo sysctl -w kern.sysv.shmmni=128 | |
| sudo sysctl -w kern.sysv.shmseg=32 | |
| sudo sysctl -w kern.sysv.shmall=4096 | |
| - name: ./build.sh dotest && make check | |
| run: | | |
| ./build.sh dotest | |
| ./free_shm | |
| make check | |
| ./free_shm | |
| aarch64: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 30 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: uraimo/[email protected] | |
| name: check on aarch64 | |
| id: runcmd | |
| with: | |
| arch: aarch64 | |
| githubToken: ${{ github.token }} | |
| distro: ubuntu_latest | |
| install: | | |
| apt-get update -q -y | |
| apt-get install -y make gcc grep | |
| run: ./build.sh dotest |