certora-basic

chore: allow blank issues #189

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request June 2, 2025 06:55

sakulstra

opened #128

chore/allow-blank-issues

Status Skipped

Total duration 1s

Artifacts –

certora-basic.yml

on: pull_request

Matrix: verify