Skip to content

Actions: Certora/gho-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow run results
32 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add nonzeroNewDiscountToken Build #31: Commit 4ced4c8 pushed by gadicer
November 21, 2023 19:53 3s check_variable_debt_token
check_variable_debt_token
November 21, 2023 19:53 3s
updating yaml Build #30: Commit 8b796d2 pushed by MichaelMorami
November 21, 2023 18:30 3s michael/mutations
michael/mutations
November 21, 2023 18:30 3s
adding coverage using mutation testing for mutants 3, 7 and alon's rule Build #29: Commit a7a6df4 pushed by MichaelMorami
November 21, 2023 18:07 3s michael/mutations
michael/mutations
November 21, 2023 18:07 3s
certora certora #23: Manually run by gadicer
November 21, 2023 10:13 7s check_variable_debt_token
check_variable_debt_token
November 21, 2023 10:13 7s
add user_index_ge_one_ray Build #28: Commit 4c57bfe pushed by gadicer
November 21, 2023 10:13 4s check_variable_debt_token
check_variable_debt_token
November 21, 2023 10:13 4s
certora certora #22: Manually run by gadicer
November 21, 2023 08:35 6s check_variable_debt_token
check_variable_debt_token
November 21, 2023 08:35 6s
comment out timeout rule Build #27: Commit f1dd725 pushed by gadicer
November 21, 2023 08:35 3s check_variable_debt_token
check_variable_debt_token
November 21, 2023 08:35 3s
certora certora #21: Manually run by gadicer
November 21, 2023 08:03 6s check_variable_debt_token
check_variable_debt_token
November 21, 2023 08:03 6s
add accumulated_interest_increase_after_mint to CI Build #26: Commit ee2563c pushed by gadicer
November 21, 2023 08:03 3s check_variable_debt_token
check_variable_debt_token
November 21, 2023 08:03 3s
add balanceIncrease_ge_previousScaledBalance_gt Build #25: Commit f55575e pushed by gadicer
November 20, 2023 12:50 3s check_variable_debt_token
check_variable_debt_token
November 20, 2023 12:50 3s
certora certora #20: Manually run by gadicer
November 19, 2023 10:41 4s certora/cvl2
certora/cvl2
November 19, 2023 10:41 4s
certora certora #19: Manually run by nisnislevi
November 19, 2023 10:20 5s certora/main
certora/main
November 19, 2023 10:20 5s
fixing cli version to 4.13.1 Build #24: Commit 912faa0 pushed by nisnislevi
November 19, 2023 10:18 3s certora/main
certora/main
November 19, 2023 10:18 3s
fix: Add update on GHO integration with Aave Pool (#366) Build #23: Commit b2db754 pushed by nisnislevi
November 19, 2023 10:02 3s certora/main
certora/main
November 19, 2023 10:02 3s
Certora/cvl2 certora #18: Pull request #4 synchronize by MichaelMorami
November 12, 2023 15:32 4s certora/cvl2
certora/cvl2
November 12, 2023 15:32 4s
fixing cli version to 4.13.1 Build #22: Commit 912faa0 pushed by MichaelMorami
November 12, 2023 15:32 2s certora/cvl2
certora/cvl2
November 12, 2023 15:32 2s
Certora/cvl2 certora #17: Pull request #4 synchronize by MichaelMorami
November 12, 2023 14:57 20m 46s certora/cvl2
certora/cvl2
November 12, 2023 14:57 20m 46s
fixing ci group larger fail Build #21: Commit 3063052 pushed by MichaelMorami
November 12, 2023 14:57 3s certora/cvl2
certora/cvl2
November 12, 2023 14:57 3s
Certora/cvl2 certora #16: Pull request #4 synchronize by MichaelMorami
November 12, 2023 14:55 4s certora/cvl2
certora/cvl2
November 12, 2023 14:55 4s
fixing ci group larger fail Build #20: Commit d1e48b6 pushed by MichaelMorami
November 12, 2023 14:55 2s certora/cvl2
certora/cvl2
November 12, 2023 14:55 2s
Certora/cvl2 certora #15: Pull request #4 synchronize by MichaelMorami
November 12, 2023 14:43 3s certora/cvl2
certora/cvl2
November 12, 2023 14:43 3s
fixing cli version to 4.13.1 Build #19: Commit 912faa0 pushed by MichaelMorami
November 12, 2023 14:43 2s certora/cvl2
certora/cvl2
November 12, 2023 14:43 2s
fix: Add update on GHO integration with Aave Pool (#366) Build #18: Commit b2db754 pushed by MichaelMorami
November 12, 2023 14:42 2s main
main
November 12, 2023 14:42 2s
fix: Add update on GHO integration with Aave Pool (#366) certora #14: Commit b2db754 pushed by MichaelMorami
November 12, 2023 14:42 3s main
main
November 12, 2023 14:42 3s
adding MM to CODEOWNERS Build #17: Commit 1a4d476 pushed by MichaelMorami
November 12, 2023 14:39 2s main
main
November 12, 2023 14:39 2s