ci: Fix command in release pipeline (#864) #67

Sign in to view logs

Triggered via push July 4, 2023 15:09

master

Status Success

Total duration 32m 34s

Artifacts –

certora.yml

on: push

Matrix: verify