Tests

Add Certora specs (#46) #942

Sign in to view logs

Summary
Jobs
- tests
Run details
- Usage
- Workflow file

Triggered via push November 20, 2023 12:12

dev

Status Success

Total duration 1m 11s

Artifacts –

test.yml

on: push