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

test: Add Certora conf files
Build #623: Commit 757be8c pushed by miguelmtzinf
December 19, 2023 13:22 4m 22s fix/373-gho-incident
December 19, 2023 13:22 4m 22s
test: Update Certora FV and report
Build #622: Commit 64ef916 pushed by miguelmtzinf
December 19, 2023 12:21 5m 23s fix/373-gho-incident
December 19, 2023 12:21 5m 23s
fix: Fix rounding of Gsm4626 price strategy
Build #621: Commit f32a647 pushed by miguelmtzinf
December 12, 2023 16:45 7m 1s feat/gsm
December 12, 2023 16:45 7m 1s
fix: Fix Certora cli version to 4.13.1 (#370) (#371)
Build #620: Commit 16e45f2 pushed by miguelmtzinf
December 12, 2023 14:15 6m 21s main
December 12, 2023 14:15 6m 21s
fix: Fix Certora cli version to 4.13.1 (#370)
Build #619: Commit 665e7e7 pushed by miguelmtzinf
November 16, 2023 13:06 5m 6s fix/certora-cvl2
November 16, 2023 13:06 5m 6s
fix: Add update on GHO integration with Aave Pool (#366)
Build #618: Commit b2db754 pushed by miguelmtzinf
November 16, 2023 13:02 4m 40s fix/certora-cvl2
November 16, 2023 13:02 4m 40s
ProTip! You can narrow down the results and go further in time using created:<2023-11-16 or the other filters available.