Checking

Merge pull request #153 from esbmc/additional-vo #284

Sign in to view logs

Triggered via push November 6, 2024 16:50

Yiannis128

master

Status Failure

Total duration 1m 21s

Artifacts 1

workflow.yml

on: push

Get Requirements

Annotations

1 error

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size
requirements	372 Bytes