Skip to content

remove container

remove container #6

Triggered via push November 25, 2024 14:50
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
Invalid workflow file: .github/workflows/ci-certora.yml#L15
You have an error in your yaml syntax on line 15