Skip to content
.github/workflows/certora.yml

perf: run tests only when certain code paths changes to speed up CI #152

Sign in to view logs

perf: run tests only when certain code paths changes to speed up CI

perf: run tests only when certain code paths changes to speed up CI #152

Triggered via push February 15, 2025 01:31
@bowenli86bowenli86
pushed ec31f28
perf/path
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
Error
No event triggers defined in `on`