Use `Option.map_default` in · goblint/analyzer@125672a

Triggered via push February 18, 2025 16:47

issue_1536

Status Success

Total duration 22m 38s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.81 MB	`sha256:6cd390a5806de27f9e9b6785a36408dd7d5e6f6a3356380d8456f3ef573c16e8`
suite_result-ubuntu-22.04 Expired	2.79 MB	`sha256:5575387e0df96d0be34f6a12a235608545fd951855b6dc581aac0ea9c99df946`