Certora GitHub Action · Certora/certora-vault-tutorial@914e3ba

Re-run triggered June 24, 2025 11:58

H00N24

#36

feat/certora-run-action

Status Success

Total duration 2m 46s

Artifacts 1

certora.yml

on: pull_request

1 warning

manifest-file does not contain version 0.7.14, arch x86_64, platform unknown-linux-gnu. Falling back to GitHub releases.

Produced during runtime

Name	Size	Digest
certora-run-logs-0b655c46-b8b7-48a2-b06d-e08cea3cba2a-15849374710 Expired	6.11 KB	`sha256:f77bb12e2c371bfb9d88add7197e58d6550b5c4dff8b6d8bd7c929c34c357d89`