Skip to content

Build and lint the LLBC backend with warnings denied in its CI job - #4886

Merged
feliperodri merged 3 commits into
model-checking:mainfrom
feliperodri:llbc-lint-gate
Sep 30, 2026
Merged

Build and lint the LLBC backend with warnings denied in its CI job#4886
feliperodri merged 3 commits into
model-checking:mainfrom
feliperodri:llbc-lint-gate

Say that the LLBC `-D warnings` build also covers Charon

70806c4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 30, 2026 in 5s