Merge pull request #129 from bgd-labs/v3.4.0 #5

Triggered via push July 3, 2025 16:11

sakulstra

main

Status Success

Total duration 1m 31s

Artifacts 1

certora-ATokenWithDelegation.yml

on: push

Produced during runtime

Name	Size	Digest
certora-run-logs-64d30925-6159-4d84-8ef1-74d336cefc81-16055446079 Expired	14.9 KB	`sha256:15e4d7763e3317b289a72a365d257faae552d0d1de8ba035dd8dbd0d23925de3`