Skip to content

Fix the server cache issue when cache becomes full and needs flush #342

Fix the server cache issue when cache becomes full and needs flush

Fix the server cache issue when cache becomes full and needs flush #342

Workflow file for this run

name: linux
on:
# push:
# branches: [ stable ]
pull_request:
branches: [ stable, develop ]
# Allows to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
PDC:
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v3
- name: Dependencies
run: .github/workflows/dependencies-linux.sh
- name: Build PDC
# working-directory: ./src
run: |
mkdir build && cd build
cmake ../ -DBUILD_MPI_TESTING=ON -DBUILD_SHARED_LIBS=ON -DBUILD_TESTING=ON -DPDC_ENABLE_MPI=ON -DCMAKE_C_COMPILER=mpicc
make -j2
# - name: Debug test PDC
# working-directory: ./src/build/bin
# run: |
# mpirun -n 1 ./pdc_server.exe &
# sleep 1
# mpirun -n 1 ./pdc_init
# mpirun -n 1 ./close_server
- name: Test PDC
working-directory: build
run: ctest -L serial