certora-basic

feat: add dedicated eMode creation to config engine #188

Sign in to view logs

Triggered via push May 27, 2025 07:58

sakulstra

main

Status Success

Total duration 15m 45s

Artifacts –

certora-basic.yml

on: push

Matrix: verify