.github/workflows/certora-basic.yml

bumping up action versions for python and java #11

Sign in to view logs

Triggered via push November 18, 2024 18:00

certora-squashed

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

every step must define a `uses` or `run` key