Skip to content
certora

fix: add natspec docs to flags of reserve configuration map (#854) #56

Sign in to view logs

fix: add natspec docs to flags of reserve configuration map (#854)

fix: add natspec docs to flags of reserve configuration map (#854) #56

Triggered via push July 4, 2023 06:45
@miguelmtzinfmiguelmtzinf
pushed 792c23e
master
Status Success
Total duration 33m 20s
Artifacts –

certora.yml

on: push
Matrix: verify
Fit to window
Zoom out
Zoom in