Formatting

[Certora] Add basic sanity checks #1126

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request November 21, 2023 14:12

QGarchery

opened #599

certora/sanity

Status Success

Total duration 36s

Artifacts –

formatting.yml

on: pull_request