Formal Verification - Proration Math

Add subscription dispute escrow with juror multisig resolution #27

Sign in to view logs

Triggered via pull request April 24, 2026 10:56

elizabetheonoja-art

synchronize #166

omolobamoyinoluwa-max:Build-Dispute-Resolution-Escrow-for-Subscriptions

Status Failure

Total duration 7s

Artifacts –

formal-verification.yml

on: pull_request

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/