Skip to content
Build

fix: certora prover changes #615

Sign in to view logs

fix: certora prover changes

fix: certora prover changes #615

Triggered via push October 18, 2023 17:59
@ghostghost
pushed 2aa874c
feat/gsm
Status Success
Total duration 7m 1s
Artifacts –

node.js.yml

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