Back to pull request #2

Certora squashed #2

Sign in to view logs

Triggered via pull request May 27, 2024 14:37

nisnislevi

opened #2

certora-squashed

Status Skipped

Total duration 2s

Artifacts –

changelog.yml

on: pull_request

Changelog checker