.github/workflows/kani-workflow.yml

kani rustup update test #10

Sign in to view logs

Triggered via push October 12, 2024 02:37

Alexander-Aghili

kani_implementation

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