Skip to content
certora

Create Osama2535 #73

Sign in to view logs

Create Osama2535

Create Osama2535 #73

This workflow is awaiting approval from a maintainer in #110
Triggered via pull request November 6, 2025 19:34
@rhmhsydjabr0-ctrlrhmhsydjabr0-ctrl
opened #110
rhmhsydjabr0-ctrl:patch-1
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #110

certora.yml

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