Skip to content

Actions: aave/gho-core

Actions

certora-steward

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-steward.yml
197 workflow runs
197 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GSM 4626 Deployment certora-steward #209: Pull request #445 synchronize by efecarranza
January 31, 2025 23:55 Action required TokenLogic-com-au:gsm4626
TokenLogic-com-au:gsm4626
January 31, 2025 23:55 Action required
GSM 4626 Deployment certora-steward #208: Pull request #445 opened by efecarranza
January 31, 2025 19:42 Action required TokenLogic-com-au:gsm4626
TokenLogic-com-au:gsm4626
January 31, 2025 19:42 Action required
Gsm4626 deployment script certora-steward #207: Pull request #444 opened by miguelmtzinf
January 29, 2025 09:37 1m 55s TokenLogic-com-au:gsm4626
TokenLogic-com-au:gsm4626
January 29, 2025 09:37 1m 55s
certora: Add Gsm4626 specs and review report (#442) certora-steward #206: Commit b2b1801 pushed by miguelmtzinf
January 28, 2025 12:42 6m 4s main
main
January 28, 2025 12:42 6m 4s
Certora - Addition of Gsm4626 Specs and Report certora-steward #205: Pull request #442 synchronize by miguelmtzinf
January 27, 2025 18:04 8m 14s certora/gsm4626
certora/gsm4626
January 27, 2025 18:04 8m 14s
Certora - Addition of Gsm4626 Specs and Report certora-steward #204: Pull request #442 synchronize by miguelmtzinf
January 14, 2025 09:25 4m 3s certora/gsm4626
certora/gsm4626
January 14, 2025 09:25 4m 3s
Certora - Addition of Gsm4626 Specs and Report certora-steward #203: Pull request #442 opened by miguelmtzinf
January 14, 2025 09:17 6m 32s certora/gsm4626
certora/gsm4626
January 14, 2025 09:17 6m 32s
Certora - Addition of Gsm4626 Specs and Report certora-steward #202: Pull request #441 opened by MichaelMorami
January 13, 2025 20:37 1m 32s Certora:certora
Certora:certora
January 13, 2025 20:37 1m 32s
fix: Add timelocks getter in GhoCcipSteward (#438) certora-steward #199: Commit cf6ee42 pushed by miguelmtzinf
January 6, 2025 11:49 7m 31s main
main
January 6, 2025 11:49 7m 31s
CcipSteward Timelock Getter certora-steward #198: Pull request #438 synchronize by DhairyaSethi
January 6, 2025 10:44 7m 30s chore/timelock-getter
chore/timelock-getter
January 6, 2025 10:44 7m 30s
fix: Removes max variable borrow rate check in GhoAaveSteward for rat… certora-steward #197: Commit a0dca17 pushed by miguelmtzinf
January 6, 2025 09:58 8m 6s main
main
January 6, 2025 09:58 8m 6s
CcipSteward Timelock Getter certora-steward #196: Pull request #438 synchronize by DhairyaSethi
January 6, 2025 09:29 6m 30s chore/timelock-getter
chore/timelock-getter
January 6, 2025 09:29 6m 30s
CcipSteward Timelock Getter certora-steward #195: Pull request #438 synchronize by DhairyaSethi
January 6, 2025 09:15 7m 19s chore/timelock-getter
chore/timelock-getter
January 6, 2025 09:15 7m 19s
CcipSteward Timelock Getter certora-steward #194: Pull request #438 opened by DhairyaSethi
January 3, 2025 14:10 6m 55s chore/timelock-getter
chore/timelock-getter
January 3, 2025 14:10 6m 55s
Aave Steward: rm max variable borrow rate check certora-steward #193: Pull request #436 synchronize by DhairyaSethi
January 2, 2025 13:01 8m 6s fix/max-borrow-rate-check
fix/max-borrow-rate-check
January 2, 2025 13:01 8m 6s
Aave Steward: rm max variable borrow rate check certora-steward #192: Pull request #436 synchronize by DhairyaSethi
January 2, 2025 11:17 1m 36s fix/max-borrow-rate-check
fix/max-borrow-rate-check
January 2, 2025 11:17 1m 36s
Aave Steward: rm max variable borrow rate check certora-steward #191: Pull request #436 opened by DhairyaSethi
January 2, 2025 11:02 1m 40s fix/max-borrow-rate-check
fix/max-borrow-rate-check
January 2, 2025 11:02 1m 40s
USTB GSM Implementation certora-steward #190: Pull request #432 synchronize by yan-man
November 30, 2024 00:40 7m 40s feat/gsm-ustb
feat/gsm-ustb
November 30, 2024 00:40 7m 40s
USTB GSM Implementation certora-steward #189: Pull request #432 synchronize by yan-man
November 15, 2024 15:41 7m 0s feat/gsm-ustb
feat/gsm-ustb
November 15, 2024 15:41 7m 0s
BUIDL GSM Integration certora-steward #188: Pull request #421 synchronize by yan-man
October 15, 2024 13:47 6m 36s feat/gsm-buidl
feat/gsm-buidl
October 15, 2024 13:47 6m 36s
USTB GSM Implementation certora-steward #187: Pull request #432 opened by yan-man
October 15, 2024 13:44 7m 17s feat/gsm-ustb
feat/gsm-ustb
October 15, 2024 13:44 7m 17s
USTB GSM Implementation certora-steward #186: Pull request #431 opened by yan-man
October 15, 2024 13:43 7m 27s feat/gsm-ustb
feat/gsm-ustb
October 15, 2024 13:43 7m 27s
BUIDL GSM Integration certora-steward #185: Pull request #421 synchronize by yan-man
October 15, 2024 13:15 7m 14s feat/gsm-buidl
feat/gsm-buidl
October 15, 2024 13:15 7m 14s
fix: Add isControlledFacilitator to GhoBucketSteward (#429) certora-steward #184: Commit 0a6fbd4 pushed by miguelmtzinf
October 14, 2024 19:25 7m 0s main
main
October 14, 2024 19:25 7m 0s
Add isControlledFacilitator to GhoBucketSteward certora-steward #183: Pull request #429 synchronize by CheyenneAtapour
October 14, 2024 19:07 4m 3s feat/getFacilitator
feat/getFacilitator
October 14, 2024 19:07 4m 3s