Skip to content

Actions: aave/gho-core

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
306 workflow runs
306 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

certora: Add Gsm4626 specs and review report (#442)
Build #923: Commit b2b1801 pushed by miguelmtzinf
January 28, 2025 12:42 8m 20s main
January 28, 2025 12:42 8m 20s
docs: Updates Gsm4626 audit report
Build #922: Commit f4a9bfa pushed by miguelmtzinf
January 27, 2025 18:04 8m 2s certora/gsm4626
January 27, 2025 18:04 8m 2s
fix: Fix lint
Build #921: Commit 4d2bc7c pushed by miguelmtzinf
January 14, 2025 09:25 7m 42s certora/gsm4626
January 14, 2025 09:25 7m 42s
Merge pull request #441 from Certora/certora
Build #920: Commit 9ce1d06 pushed by miguelmtzinf
January 14, 2025 09:16 4m 40s certora/gsm4626
January 14, 2025 09:16 4m 40s
fix: Add timelocks getter in GhoCcipSteward (#438)
Build #919: Commit cf6ee42 pushed by miguelmtzinf
January 14, 2025 09:15 8m 4s certora/gsm4626
January 14, 2025 09:15 8m 4s
fix: Add timelocks getter in GhoCcipSteward (#438)
Build #918: Commit cf6ee42 pushed by miguelmtzinf
January 6, 2025 11:49 7m 47s main
January 6, 2025 11:49 7m 47s
chore: update harness with new getter
Build #917: Commit 76fb6e7 pushed by DhairyaSethi
January 6, 2025 10:44 7m 46s chore/timelock-getter
January 6, 2025 10:44 7m 46s
January 6, 2025 09:58 8m 5s
chore: update harness with new getter
Build #915: Commit 9c2bd24 pushed by DhairyaSethi
January 6, 2025 09:29 8m 29s chore/timelock-getter
January 6, 2025 09:29 8m 29s
feat: timelock getter
Build #913: Commit 8463647 pushed by DhairyaSethi
January 3, 2025 14:09 8m 38s chore/timelock-getter
January 3, 2025 14:09 8m 38s
upd: sync change with certora
Build #911: Commit 0512fac pushed by DhairyaSethi
January 2, 2025 11:17 8m 25s fix/max-borrow-rate-check
January 2, 2025 11:17 8m 25s
chore: clean up dependencies, remove USTB
Build #909: Commit 8272ca6 pushed by yan-man
November 30, 2024 00:40 9m 54s feat/gsm-ustb
November 30, 2024 00:40 9m 54s
fix: clean up logic for USTB gsm converter and add interface
Build #908: Commit 68baa18 pushed by yan-man
November 15, 2024 15:41 2m 31s feat/gsm-ustb
November 15, 2024 15:41 2m 31s
fix: safe operations
Build #907: Commit b11bfc6 pushed by yan-man
October 15, 2024 13:47 8m 37s feat/gsm-buidl
October 15, 2024 13:47 8m 37s
test: update mock comments
Build #906: Commit a7a828f pushed by yan-man
October 15, 2024 13:29 8m 38s feat/gsm-ustb
October 15, 2024 13:29 8m 38s
test: end prank
Build #905: Commit 0201eea pushed by yan-man
October 15, 2024 13:15 8m 36s feat/gsm-buidl
October 15, 2024 13:15 8m 36s
fix: Add isControlledFacilitator to GhoBucketSteward (#429)
Build #904: Commit 0a6fbd4 pushed by miguelmtzinf
October 14, 2024 19:25 8m 10s main
October 14, 2024 19:25 8m 10s
feat: Add isControlledFacilitator function
Build #902: Commit 5f92f09 pushed by CheyenneAtapour
October 14, 2024 18:57 8m 31s feat/getFacilitator
October 14, 2024 18:57 8m 31s
test: add tests for ccip rate limit changes (#427)
Build #901: Commit a8f654a pushed by CheyenneAtapour
October 14, 2024 18:42 8m 49s feat/getFacilitator
October 14, 2024 18:42 8m 49s
fix: account for subscription fee, resolve tests, param names
Build #900: Commit c943e73 pushed by yan-man
October 14, 2024 18:25 10m 9s feat/gsm-buidl
October 14, 2024 18:25 10m 9s
test: add tests for ccip rate limit changes (#427)
Build #899: Commit a8f654a pushed by miguelmtzinf
October 11, 2024 15:30 8m 22s main
October 11, 2024 15:30 8m 22s