unlocked: Only test termination in config with Apron (References #1093) · goblint/analyzer@116916a

Triggered via push November 19, 2023 15:14

master

Status Failure

Total duration 6h 0m 12s

Artifacts 1

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

2 errors

The job running on runner GitHub Actions 2 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

Produced during runtime

Name	Size
suite_result Expired	6.74 MB