Skip to content
CI

chore(certora): add invariant that totalSent is <= totalReceived #973

Sign in to view logs

chore(certora): add invariant that totalSent is <= totalReceived

chore(certora): add invariant that totalSent is <= totalReceived #973

Triggered via pull request October 21, 2024 10:09
@0x-r4bbit0x-r4bbit
synchronize #147
certora-totalsent-le-totalreceived
Status Cancelled
Total duration 26m 21s
Artifacts –

ci.yml

on: pull_request
formatting
43s
formatting
test
2m 14s
test
verify
26m 12s
verify
Fit to window
Zoom out
Zoom in

Annotations

2 errors
verify
Canceling since a higher priority waiting request for 'CI-refs/pull/147/merge' exists
verify
The operation was canceled.