Skip to content

Change arena end ptr #3365

Change arena end ptr

Change arena end ptr #3365

name: "Code Checks"
on:
pull_request:
types: [opened, edited, reopened, synchronize]
branches:
- 'develop'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
formatting-check:
name: Formatting Check
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v4
- name: Check that C and C++ code is correctly formatted
uses: jidicula/[email protected]
with:
exclude-regex: '(build|config|deps)'
clang-format-version: 15
shell-check:
name: Shell check
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v4
- uses: ludeeus/[email protected]
name: Check that shell scripts follow best practices
with:
scandir: './bin'
additional_files: './scripts/update-scala-kore.sh'
clang-tidy-check:
name: Clang Tidy check
runs-on: [self-hosted, linux, normal]
steps:
- name: 'Check out code'
uses: actions/checkout@v4
with:
submodules: recursive
- name: 'Set up Docker'
uses: ./.github/actions/with-docker
with:
tag: llvm-backend-ci-${{ github.sha }}
os: ubuntu
distro: jammy
llvm: 15
- name: 'Run clang-tidy checks'
run: |
docker exec -t llvm-backend-ci-${GITHUB_SHA} /bin/bash -c 'mkdir build && cd build && cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=On -DBUILD_TESTS=On ..'
docker exec -t llvm-backend-ci-${GITHUB_SHA} scripts/clang-tidy.sh
- name: 'Tear down Docker'
if: always()
run: |
docker stop --time=0 llvm-backend-ci-${GITHUB_SHA}
docker container rm --force llvm-backend-ci-${GITHUB_SHA} || true
scala-check:
name: Scala formatting check
runs-on: ubuntu-latest
steps:
- name: 'Check out code'
uses: actions/checkout@v4
- name: 'Set up Java 17'
uses: actions/setup-java@v3
with:
distribution: 'zulu'
java-version: 17
- name: 'Install Maven'
run: |
sudo apt-get update
sudo apt-get install --yes maven
- name: 'Check code is formatted correctly'
run: |
cd matching
mvn spotless:check --batch-mode -U