Rename cil.cstd option to std · goblint/analyzer@8b39137

Triggered via push August 14, 2025 07:56

sim642

cpp-std

Status Success

Total duration 43m 48s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.95 MB	`sha256:e51046397a3413c33a9d52b098d61cc2078a74f8ba67ff015356976e6b26e709`
suite_result-ubuntu-22.04 Expired	2.97 MB	`sha256:44b451a0ef23a9ecbda5ce3867cbf9810793b050942de8a535dcbb2491f6cf13`