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

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

feliperodri merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:charon-update-bottautschnig/kani:charon-update-botCopy head branch name to clipboard