Skip to content

Actions: aave/ccip

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
8 workflow run results
8 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: Fix test assume certora #8: Commit f391158 pushed by miguelmtzinf
June 6, 2024 15:22 5m 2s ci/gho-token-pool
ci/gho-token-pool
June 6, 2024 15:22 5m 2s
test: Fix test assume certora #7: Commit 8b8d0ff pushed by miguelmtzinf
June 6, 2024 15:11 5m 2s ci/gho-token-pool
ci/gho-token-pool
June 6, 2024 15:11 5m 2s
fix: Fix config files certora #6: Commit d887a08 pushed by miguelmtzinf
June 6, 2024 15:04 7m 44s ci/gho-token-pool
ci/gho-token-pool
June 6, 2024 15:04 7m 44s
test: Force seletors in invariant tests certora #5: Commit 9203e71 pushed by miguelmtzinf
June 6, 2024 14:57 1m 24s ci/gho-token-pool
ci/gho-token-pool
June 6, 2024 14:57 1m 24s
fix: Add dep certora #4: Commit 8cd5504 pushed by miguelmtzinf
June 6, 2024 14:46 1m 26s ci/gho-token-pool
ci/gho-token-pool
June 6, 2024 14:46 1m 26s
ci: Remove unneeded ci actions certora #3: Commit f57e451 pushed by miguelmtzinf
June 6, 2024 14:40 42s ci/gho-token-pool
ci/gho-token-pool
June 6, 2024 14:40 42s
feat: Add custom upgradeable TokenPool contracts certora #2: Pull request #3 synchronize by miguelmtzinf
June 4, 2024 15:36 3m 43s feat/gho-token-pool
feat/gho-token-pool
June 4, 2024 15:36 3m 43s
certora certora #1: synchronize by miguelmtzinf
May 28, 2024 11:28 Startup failure feat/gho-token-pool
feat/gho-token-pool
May 28, 2024 11:28 Startup failure