Checking

Merge pull request #154 from esbmc/update-github-actions-pytest #276

Sign in to view logs

Triggered via push November 4, 2024 15:41

Yiannis128

master

Status Failure

Total duration 6m 14s

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