certora-basic

feat: scaled price adaptor #14

Triggered via pull request July 16, 2025 13:30

opened #23

Status Success

Total duration 3m 22s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-5305b307-f0e8-45ad-9e64-d4c1d72dc485-16320871433 Expired	27.2 KB	`sha256:4cc7f856ea5a459a03327843c7c701512e503ebde8f7bfa5a01a3840f21e5a5d`