.github/workflows/ci.yml

Unbounded proofs of memory safety #706

Sign in to view logs

Triggered via pull request October 13, 2023 14:54

feliperodri

#146

feliperodri:unbounded-cbmc-proofs

Status Failure

Total duration –

Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error

a step cannot have both the `uses` and `run` keys