Certora verification

Add SECURITY.md #53

Sign in to view logs

Triggered via pull request February 27, 2025 06:54

erik1o6

opened #25

feat/add-security-md

Status Failure

Total duration 11s

Artifacts –

certora.yml

on: pull_request

Matrix: verify

Annotations

1 error

verify (RulesForFeeFlowController, default)

This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v3`. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/