new ways to spot unreachable code · goblint/analyzer@54595bd

Triggered via push November 29, 2024 15:01

affineeq-refine

Status Failure

Total duration 24m 23s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
suite_result-macos-13	2.69 MB
suite_result-ubuntu-22.04	2.68 MB