Skip to content
Formatting

[Certora] Update to v5 of the prover #1128

Sign in to view logs

[Certora] Update to v5 of the prover

[Certora] Update to v5 of the prover #1128

Triggered via pull request November 21, 2023 14:17
@QGarcheryQGarchery
opened #600
certora/update-v5
Status Success
Total duration 39s
Artifacts –

formatting.yml

on: pull_request
lint
29s
lint
Fit to window
Zoom out
Zoom in