vbpf / prevail / 28936354882
87%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 78
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 86.497%. Remained the same
28936354882

push

github

web-flow 
Enable install/consume CI and fix the packaging path (follow-up to #1173) (#1188)

Follow-up to #1173 (the install-CI enablement and NuGet-Boost consume were
deferred there). Enables .github/workflows/test-installation.yml and fixes the
packaging bugs it surfaces so `cmake --install` + `find_package(prevail)` works:

- Interface include path: prevail's headers install under include/prevail/ and
  use src-relative includes ("crab_utils/...", "io/..."), but only include/ was
  on the install interface, so a consumer failed to find crab_utils/prevail_
  errors.hpp. Add $<INSTALL_INTERFACE:.../prevail> as well.
- Conditional Boost dependency: require Boost from the installed config only when
  prevail's public interface was actually built against a Boost::headers target
  (prevail_PUBLIC_NEEDS_BOOST). The MSVC/NuGet-headers build has no such target,
  so hard-requiring it (find_dependency(Boost REQUIRED)) would fail a consumer
  without a Boost CMake package.
- Workflow: install Boost on ubuntu/macOS (SetupBoostHeaders provisions it via
  NuGet on Windows); yamllint-clean; single main branch.
- Refresh the example consumer to current API (it referenced create_ebpf_platform
  and a default-constructed LinearConstraint, both gone); it now links a real
  library symbol to exercise the full find_package path.

Verified end-to-end on Linux: build -> install -> find_package(prevail) ->
consumer build -> run all pass. Windows (earlier "Could not find prevailConfig")
needs a CI round to diagnose with the uploaded CMakeError.log artifact.

* Fix Windows install test: pass CMAKE_PREFIX_PATH with forward slashes

The Windows Test Install built and installed prevail correctly (prevailConfig.cmake
landed in lib/cmake/prevail), but the consumer's find_package(prevail) reported
"Could not find a package configuration file". Cause: test_install.ps1 passed
-DCMAKE_PREFIX_PATH=$InstallDir with a backslash Windows path
(D:\a\...\test_install_output); CMake interprets backsl... (continued)

9160 of 10590 relevant lines covered (86.5%)

6466208.58 hits per line

Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 28936354882.1 76
84.77
 GitHub Action Run
2 run-Release - 28936354882.2 78
85.6
 GitHub Action Run
Source Files on build 28936354882