Skip to content
Formatting

[Certora] mutant 15 #1141

Sign in to view logs

[Certora] mutant 15

[Certora] mutant 15 #1141

Triggered via pull request November 22, 2023 18:37
@QGarcheryQGarchery
opened #604
certora/mutant-15
Status Success
Total duration 33s
Artifacts –

formatting.yml

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