Skip to content

Add a weekly Charon update job, and run the LLBC regression in the toolchain job - #4920

Merged
feliperodri merged 1 commit into
model-checking:mainfrom
tautschnig:charon-update-bot
Sep 30, 2026
Merged

feliperodri merged 1 commit into
model-checking:mainfrom
tautschnig:charon-update-bot

Add a weekly Charon update job, and run the LLBC regression in the to…

f460402
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 8s