$ bash -e -o pipefail -c cmake -S . -B build -DCMAKE_BUILD_TYPE=Debug
-- The CXX compiler identification is GNU 13.3.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Configuring done (0.3s)
-- Generating done (0.0s)
-- Build files have been written to: /home/runner/work/cpp-water-leak-alarm/cpp-water-leak-alarm/build

$ bash -e -o pipefail -c cmake --build build --parallel 2
[ 25%] Building CXX object CMakeFiles/leak_monitor.dir/src/main.cpp.o
[ 50%] Building CXX object CMakeFiles/leak_tests.dir/tests/leak_test.cpp.o
[ 75%] Linking CXX executable leak_tests
[ 75%] Built target leak_tests
[100%] Linking CXX executable leak_monitor
[100%] Built target leak_monitor

$ bash -e -o pipefail -c ctest --test-dir build --output-on-failure
Internal ctest changing into directory: /home/runner/work/cpp-water-leak-alarm/cpp-water-leak-alarm/build
Test project /home/runner/work/cpp-water-leak-alarm/cpp-water-leak-alarm/build
    Start 1: leak
1/1 Test #1: leak .............................   Passed    0.00 sec

100% tests passed, 0 tests failed out of 1

Total Test time (real) =   0.07 sec

$ g++ -std=c++20 -Wall -Wextra -Werror -Iinclude .proof/demo.cpp -o build/proof-demo

$ build/proof-demo
{"sustained_leak_confirmed":true,"stale_sensor_alarm":true,"sequence":3}