Skip to content
Formatting

[Certora] Mutations #1136

Sign in to view logs

[Certora] Mutations

[Certora] Mutations #1136

Triggered via pull request November 22, 2023 12:22
@QGarcheryQGarchery
synchronize #564
certora/gambit
Status Success
Total duration 34s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

formatting.yml

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