Skip to content

Actions: aave/aave-v4

Actions

Certora Prover Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Certora formal verification rules (#1069) Certora Prover Workflow #27: Pull request #1072 synchronize by DhairyaSethi
3m 31s feat/certora-fv
feat/certora-fv
3m 31s
Certora formal verification rules (#1069) Certora Prover Workflow #26: Pull request #1072 opened by DhairyaSethi
4m 21s feat/certora-fv
feat/certora-fv
4m 21s
Certora formal verification rules Certora Prover Workflow #25: Pull request #1069 opened by shellygr
18s Certora:certora_pub
Certora:certora_pub
18s
Certora/hub verification Certora Prover Workflow #24: Pull request #909 synchronize by DhairyaSethi
3m 7s certora
certora
3m 7s
Ci/feat/rp zero when underwater Certora Prover Workflow #23: Pull request #946 synchronize by DhairyaSethi
3m 1s ci/feat/rp-zero-when-underwater
ci/feat/rp-zero-when-underwater
3m 1s
Certora/hub verification Certora Prover Workflow #22: Pull request #909 synchronize by DhairyaSethi
3m 11s certora
certora
3m 11s
Ci/feat/rp zero when underwater Certora Prover Workflow #21: Pull request #946 synchronize by DhairyaSethi
2m 53s ci/feat/rp-zero-when-underwater
ci/feat/rp-zero-when-underwater
2m 53s
Certora/hub verification Certora Prover Workflow #20: Pull request #909 synchronize by DhairyaSethi
3m 11s certora
certora
3m 11s
Certora/hub verification Certora Prover Workflow #19: Pull request #909 synchronize by DhairyaSethi
2m 50s certora
certora
2m 50s
Certora/hub verification Certora Prover Workflow #18: Pull request #909 synchronize by DhairyaSethi
10m 3s certora
certora
10m 3s
Certora/hub verification Certora Prover Workflow #17: Pull request #909 synchronize by DhairyaSethi
9m 10s certora
certora
9m 10s
[WIP]: fix: Liquidity growth calculation in fees logic & fee cache in storage Certora Prover Workflow #16: Pull request #919 synchronize by avniculae
1m 35s fix/share-price-disjoint
fix/share-price-disjoint
1m 35s
[WIP]: fix: Liquidity growth calculation in fees logic & fee cache in storage Certora Prover Workflow #15: Pull request #919 synchronize by avniculae
1m 12s fix/share-price-disjoint
fix/share-price-disjoint
1m 12s
[WIP]: fix: Liquidity growth calculation in fees logic & fee cache in transient storage Certora Prover Workflow #14: Pull request #927 opened by avniculae
1m 29s fix/share-price-bundle
fix/share-price-bundle
1m 29s
Certora/hub verification Certora Prover Workflow #13: Pull request #909 synchronize by DhairyaSethi
2m 46s certora
certora
2m 46s
Certora/hub verification Certora Prover Workflow #12: Pull request #909 synchronize by DhairyaSethi
2m 56s certora
certora
2m 56s
Ci/feat/limit premium Certora Prover Workflow #11: Pull request #910 synchronize by DhairyaSethi
2m 53s ci/feat/limit-premium
ci/feat/limit-premium
2m 53s
Ci/feat/limit premium Certora Prover Workflow #10: Pull request #910 opened by DhairyaSethi
2m 59s ci/feat/limit-premium
ci/feat/limit-premium
2m 59s
Certora/hub verification Certora Prover Workflow #9: Pull request #909 synchronize by DhairyaSethi
2m 55s certora
certora
2m 55s
Certora/hub verification Certora Prover Workflow #8: Pull request #909 synchronize by DhairyaSethi
2m 54s certora
certora
2m 54s
Certora/hub verification Certora Prover Workflow #7: Pull request #909 synchronize by DhairyaSethi
2m 4s certora
certora
2m 4s
Certora/hub verification Certora Prover Workflow #6: Pull request #909 synchronize by DhairyaSethi
2m 2s certora
certora
2m 2s
Certora/hub verification Certora Prover Workflow #5: Pull request #909 opened by DhairyaSethi
2m 54s certora
certora
2m 54s
Feat/certora setup Certora Prover Workflow #4: Pull request #908 synchronize by DhairyaSethi
3m 11s feat/certora-setup
feat/certora-setup
3m 11s
Feat/certora setup Certora Prover Workflow #3: Pull request #908 synchronize by DhairyaSethi
3m 5s feat/certora-setup
feat/certora-setup
3m 5s