PR

test: Certora specs for redistribution #2

Sign in to view logs

Triggered via pull request July 16, 2025 16:11

aehyvari

opened #2

certora/redistribution-specs

Status Success

Total duration 8s

Artifacts –

automation.yml

on: pull_request