certora

cleanup: remove obsolete remappings (#81) #51

Sign in to view logs

Triggered via push November 27, 2024 10:56

sakulstra

main

Status Success

Total duration 16m 18s

Artifacts –

certora-basic.yml

on: push

Matrix: verify