Skip to content

Certora review

Certora review #185

This workflow is awaiting approval from a maintainer in #40
Triggered via pull request November 18, 2024 18:02
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #40

test.yml

on: pull_request
Foundry build n test
Foundry build n test
lint
lint
Fit to window
Zoom out
Zoom in