Skip to content

Actions: aave-dao/gho-origin

Actions

certora-gho

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-gho.yml
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Fix Certora spec on Gelato Swap Freezer (#18) certora-gho #77: Commit 95089c9 pushed by miguelmtzinf
1m 33s main
main
1m 33s
Fix certora properties on Gelato Swap Freezer certora-gho #76: Pull request #18 opened by miguelmtzinf
1m 25s certora/gelato-swap-freezer-fix
certora/gelato-swap-freezer-fix
1m 25s
Gelato Oracle Certora Spec certora-gho #75: Pull request #17 opened by efecarranza
28s TokenLogic-com-au:gelato-oracle
TokenLogic-com-au:gelato-oracle
28s
feat: Add Gelato Oracle Swap Freezer certora-gho #74: Commit 5d83923 pushed by miguelmtzinf
1m 13s main
main
1m 13s
docs: Add docs for remote facilitator setup (#12) certora-gho #73: Commit 44e20da pushed by miguelmtzinf
1m 17s main
main
1m 17s
docs: Add docs for remote facilitator setup certora-gho #72: Pull request #12 synchronize by miguelmtzinf
1m 39s docs/remote-gsm
docs/remote-gsm
1m 39s
docs: Add docs for remote facilitator setup certora-gho #71: Pull request #12 synchronize by miguelmtzinf
10s docs/remote-gsm
docs/remote-gsm
10s
Gelato Oracle Swap Freezer certora-gho #70: Pull request #15 synchronize by miguelmtzinf
1m 14s feat/gelato-swap-freezer
feat/gelato-swap-freezer
1m 14s
Gelato Oracle Swap Freezer certora-gho #69: Pull request #15 synchronize by miguelmtzinf
1m 20s feat/gelato-swap-freezer
feat/gelato-swap-freezer
1m 20s
Gelato Oracle Swap Freezer certora-gho #68: Pull request #15 synchronize by miguelmtzinf
1m 22s feat/gelato-swap-freezer
feat/gelato-swap-freezer
1m 22s
Gelato Oracle Swap Freezer certora-gho #67: Pull request #15 synchronize by miguelmtzinf
1m 35s feat/gelato-swap-freezer
feat/gelato-swap-freezer
1m 35s
Gelato Oracle Swap Freezer certora-gho #66: Pull request #15 opened by miguelmtzinf
1m 20s feat/gelato-swap-freezer
feat/gelato-swap-freezer
1m 20s
Feat: add sGhoSteward certora-gho #60: Pull request #6 synchronize by pavelvm5
Action required bgd-labs:feat/sgho-steward
bgd-labs:feat/sgho-steward
Action required
Feat: add sGhoSteward certora-gho #59: Pull request #6 synchronize by pavelvm5
Action required bgd-labs:feat/sgho-steward
bgd-labs:feat/sgho-steward
Action required
sGHO - erc4626 vault certora-gho #58: Pull request #5 synchronize by Luigy-Lemon
Action required karpatkey:sgho
karpatkey:sgho
Action required
enforce slippage certora-gho #55: Pull request #13 opened by DhairyaSethi
1m 39s feat/enforce-slippage
feat/enforce-slippage
1m 39s
docs: Add docs for remote facilitator setup certora-gho #54: Pull request #12 synchronize by miguelmtzinf
1m 26s docs/remote-gsm
docs/remote-gsm
1m 26s
docs: Add docs for remote facilitator setup certora-gho #53: Pull request #12 opened by miguelmtzinf
1m 27s docs/remote-gsm
docs/remote-gsm
1m 27s
fix: Fix GSM eip712 signature-based functions (#8) certora-gho #52: Commit e7acb6b pushed by miguelmtzinf
1m 45s main
main
1m 45s
fix : modify GSM signature encoding certora-gho #51: Pull request #8 synchronize by Kogaroshi
1m 30s fix/gsm-sig-encoding
fix/gsm-sig-encoding
1m 30s
fix : modify GSM signature encoding certora-gho #50: Pull request #8 synchronize by Kogaroshi
1m 26s fix/gsm-sig-encoding
fix/gsm-sig-encoding
1m 26s
fix : modify GSM signature encoding certora-gho #49: Pull request #8 synchronize by Kogaroshi
1m 25s fix/gsm-sig-encoding
fix/gsm-sig-encoding
1m 25s
fix : modify GSM signature encoding certora-gho #48: Pull request #8 synchronize by Kogaroshi
1m 17s fix/gsm-sig-encoding
fix/gsm-sig-encoding
1m 17s
fix : modify GSM signature encoding certora-gho #47: Pull request #8 synchronize by Kogaroshi
1m 40s fix/gsm-sig-encoding
fix/gsm-sig-encoding
1m 40s
fix : modify GSM signature encoding certora-gho #45: Pull request #8 synchronize by Kogaroshi
1m 27s fix/gsm-sig-encoding
fix/gsm-sig-encoding
1m 27s