test: skip CI on certora empty key or dependabot #129
yan-manThis 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/certora-basic.yml#L1
(Line: 20, Col: 9): Unrecognized named-value: 'secrets'. Located at position 38 within expression: github.actor != 'dependabot[bot]' && secrets.CERTORAKEY != ''
|