Nicola Vetrini a43b0a770b automation/eclair: Remove bespoke service B.UNEVALEFF ...

The Eclair runners in GitlabCI have been update.  This service is now
included, and redefining results in an error.

No functional change.

Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>

2025-04-11 11:01:05 +01:00

..

ECLAIR

automation/eclair: Remove bespoke service B.UNEVALEFF

2025-04-11 11:01:05 +01:00

build.sh

automation/eclair: make the docs for MISRA C:2012 Dir 4.1 visible to ECLAIR

2023-11-29 18:25:38 +01:00

linker-symbols.sh

automation: add linker symbol name script

2024-08-28 17:47:40 -07:00

Makefile.prepare

automation: Add xen builds for the ECLAIR analyses

2023-07-26 15:11:50 -07:00

prepare.sh

automation: Update ECLAIR analysis configuration

2025-03-03 16:14:14 -08:00

propertyparser.py

docs: Move function and macro properties in docs/misra

2024-02-29 08:20:05 +01:00