Proofs

cfl: bump Ubuntu to 24.04 #30

Sign in to view logs

Triggered via push February 25, 2026 12:44

ligurio

ligurio/gh-xxxx-cfl-bump-ubuntu-24.04

Status Success

Total duration 28s

Artifacts –

proofs.yaml

on: push

Matrix: cbmc