certora-basic

feat: liquidation data provider deployment script #92

Triggered via pull request September 22, 2025 17:03

yan-man

synchronize #32

Status Success

Total duration 3m 37s

Artifacts 1

certora-basic.yml

on: pull_request

Produced during runtime

Name	Size	Digest
certora-run-logs-ef788179-7398-4e36-8f43-e310b11dcb39-17922708957 Expired	29.5 KB	`sha256:318d1d4fe719082cd73f63fc51d97a08b3c6b388855109e0c01337d293e310b7`