Formal Verification - Proration Math

Merge pull request #159 from BarryArinze/feat/multisig-timelock-merch… #9

Sign in to view logs

Triggered via push April 23, 2026 19:11

elizabetheonoja-art

main

Status Failure

Total duration 6s

Artifacts –

formal-verification.yml

on: push

formal-verification

comprehensive-analysis

security-validation

Annotations

1 error

formal-verification

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/