Skip to content
certora

Fixed typos #11

Sign in to view logs

Fixed typos

Fixed typos #11

This workflow is awaiting approval from a maintainer in #91
Triggered via pull request February 24, 2025 20:41
@BorisNaumBorisNaum
opened #91
BorisNaum:typos
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #91

certora.yml

on: pull_request
Matrix: verify
Waiting for pending jobs
Fit to window
Zoom out
Zoom in