Skip to content

Actions: sky-ecosystem/stusds

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
220 workflow runs
220 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

StUsdsMom: add stUsds.drip() to zeroLine() for halting borrowing test #110: Pull request #6 synchronize by riccardopersiani
1m 12s adjust/stusds-mom-drip
adjust/stusds-mom-drip
1m 12s
StUsdsMom: add stUsds.drip() to zeroLine() for halting borrowing Certora #110: Pull request #6 synchronize by riccardopersiani
57m 19s adjust/stusds-mom-drip
adjust/stusds-mom-drip
57m 19s
Merge pull request #7 from sky-ecosystem/adjust/stusds-mom-drip-spec test #109: Commit c75caf9 pushed by riccardopersiani
1m 6s adjust/stusds-mom-drip
adjust/stusds-mom-drip
1m 6s
Merge pull request #7 from sky-ecosystem/adjust/stusds-mom-drip-spec Certora #109: Commit c75caf9 pushed by riccardopersiani
2h 30m 58s adjust/stusds-mom-drip
adjust/stusds-mom-drip
2h 30m 58s
StUsdsMom: update Certora specs test #108: Pull request #7 synchronize by amusingaxl
1m 41s adjust/stusds-mom-drip-spec
adjust/stusds-mom-drip-spec
1m 41s
StUsdsMom: update Certora specs Certora #108: Pull request #7 synchronize by amusingaxl
59m 33s adjust/stusds-mom-drip-spec
adjust/stusds-mom-drip-spec
59m 33s
refactor(spec/StUsdsMom): remove custom Due summary in favor of CONSTANT Certora #107: Commit 10587a4 pushed by amusingaxl
1h 19m 13s adjust/stusds-mom-drip-spec
adjust/stusds-mom-drip-spec
1h 19m 13s
refactor(spec/StUsdsMom): remove custom Due summary in favor of CONSTANT test #107: Commit 10587a4 pushed by amusingaxl
1m 39s adjust/stusds-mom-drip-spec
adjust/stusds-mom-drip-spec
1m 39s
StUsdsMom: add stUsds.drip() to zeroLine() for halting borrowing test #106: Pull request #6 synchronize by riccardopersiani
1m 21s adjust/stusds-mom-drip
adjust/stusds-mom-drip
1m 21s
StUsdsMom: add stUsds.drip() to zeroLine() for halting borrowing Certora #106: Pull request #6 synchronize by riccardopersiani
59m 54s adjust/stusds-mom-drip
adjust/stusds-mom-drip
59m 54s
chore(StUsdsInit): nits Certora #105: Commit dab078a pushed by riccardopersiani
58m 11s adjust/stusds-mom-drip
adjust/stusds-mom-drip
58m 11s
chore(StUsdsInit): nits test #105: Commit dab078a pushed by riccardopersiani
1m 28s adjust/stusds-mom-drip
adjust/stusds-mom-drip
1m 28s
StUsdsMom: update Certora specs Certora #104: Pull request #7 synchronize by amusingaxl
57m 49s adjust/stusds-mom-drip-spec
adjust/stusds-mom-drip-spec
57m 49s
StUsdsMom: update Certora specs test #104: Pull request #7 synchronize by amusingaxl
49s adjust/stusds-mom-drip-spec
adjust/stusds-mom-drip-spec
49s
refactor(spec/StUsdsMom): remove Due ghost in favor of constant value test #103: Commit 36b1780 pushed by amusingaxl
1m 16s adjust/stusds-mom-drip-spec
adjust/stusds-mom-drip-spec
1m 16s
refactor(spec/StUsdsMom): remove Due ghost in favor of constant value Certora #103: Commit 36b1780 pushed by amusingaxl
57m 33s adjust/stusds-mom-drip-spec
adjust/stusds-mom-drip-spec
57m 33s
StUsdsMom: add stUsds.drip() to zeroLine() for halting borrowing test #102: Pull request #6 synchronize by riccardopersiani
1m 22s adjust/stusds-mom-drip
adjust/stusds-mom-drip
1m 22s
StUsdsMom: add stUsds.drip() to zeroLine() for halting borrowing Certora #102: Pull request #6 synchronize by riccardopersiani
58m 26s adjust/stusds-mom-drip
adjust/stusds-mom-drip
58m 26s
chore: add comment for __replaceMomHelper Certora #101: Commit 63362ce pushed by riccardopersiani
2h 9m 38s adjust/stusds-mom-drip
adjust/stusds-mom-drip
2h 9m 38s
chore: add comment for __replaceMomHelper test #101: Commit 63362ce pushed by riccardopersiani
1m 36s adjust/stusds-mom-drip
adjust/stusds-mom-drip
1m 36s
StUsdsMom: add stUsds.drip() to zeroLine() for halting borrowing Certora #100: Pull request #6 synchronize by riccardopersiani
1h 19m 56s adjust/stusds-mom-drip
adjust/stusds-mom-drip
1h 19m 56s
StUsdsMom: add stUsds.drip() to zeroLine() for halting borrowing test #100: Pull request #6 synchronize by riccardopersiani
1m 19s adjust/stusds-mom-drip
adjust/stusds-mom-drip
1m 19s
chore: more assertions and fmt test #99: Commit 0bb6dba pushed by riccardopersiani
1m 7s adjust/stusds-mom-drip
adjust/stusds-mom-drip
1m 7s
chore: more assertions and fmt Certora #99: Commit 0bb6dba pushed by riccardopersiani
54m 36s adjust/stusds-mom-drip
adjust/stusds-mom-drip
54m 36s
StUsdsMom: update Certora specs Certora #98: Pull request #7 synchronize by amusingaxl
56m 13s adjust/stusds-mom-drip-spec
adjust/stusds-mom-drip-spec
56m 13s