Skip to content

Actions: aave/aave-v3-core

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: deprecate for 3.1 origin certora #103: Commit 782f519 pushed by foodaka
September 3, 2024 13:56 32m 35s master
master
September 3, 2024 13:56 32m 35s
chore(master): release 1.19.4 (#951) certora #97: Commit b74526a pushed by miguelmtzinf
June 25, 2024 17:57 19m 36s master
master
June 25, 2024 17:57 19m 36s
fix: Fix typos on techpaper (#950) certora #96: Commit 682e86c pushed by miguelmtzinf
June 19, 2024 10:12 19m 13s master
master
June 19, 2024 10:12 19m 13s
fix: Fix typos on techpaper certora #95: Pull request #950 synchronize by miguelmtzinf
June 19, 2024 09:28 19m 5s docs/fix-techpaper-typo
docs/fix-techpaper-typo
June 19, 2024 09:28 19m 5s
fix: Fix typos on techpaper certora #94: Pull request #950 synchronize by miguelmtzinf
June 18, 2024 14:40 18m 50s docs/fix-techpaper-typo
docs/fix-techpaper-typo
June 18, 2024 14:40 18m 50s
fix: Fix typos on techpaper certora #93: Pull request #950 opened by miguelmtzinf
June 18, 2024 09:45 33m 16s docs/fix-techpaper-typo
docs/fix-techpaper-typo
June 18, 2024 09:45 33m 16s
chore(master): release 1.19.3 (#939) certora #89: Commit 724a9ef pushed by miguelmtzinf
March 7, 2024 08:56 19m 21s master
master
March 7, 2024 08:56 19m 21s
fix: Bump version of v3 dependencies (#938) certora #88: Commit 64870f0 pushed by miguelmtzinf
March 7, 2024 08:54 20m 25s master
master
March 7, 2024 08:54 20m 25s
fix: Bump v3 dependencies certora #87: Pull request #938 synchronize by miguelmtzinf
March 7, 2024 08:28 20m 21s fix/bump-dependencies
fix/bump-dependencies
March 7, 2024 08:28 20m 21s
fix: Bump v3 dependencies certora #86: Pull request #938 synchronize by miguelmtzinf
March 7, 2024 07:54 21m 13s fix/bump-dependencies
fix/bump-dependencies
March 7, 2024 07:54 21m 13s
fix: Bump v3 dependencies certora #85: Pull request #938 opened by miguelmtzinf
March 6, 2024 12:50 33m 46s fix/bump-dependencies
fix/bump-dependencies
March 6, 2024 12:50 33m 46s
chore(master): release 1.19.2 (#923) certora #79: Commit 6070e82 pushed by miguelmtzinf
October 17, 2023 10:29 1h 17m 2s master
master
October 17, 2023 10:29 1h 17m 2s
fix: Fixes solc version of contracts (#920) certora #78: Commit 6d6fa53 pushed by miguelmtzinf
October 17, 2023 08:12 41m 55s master
master
October 17, 2023 08:12 41m 55s
fix: Fixes solc version of contracts certora #76: Pull request #920 synchronize by miguelmtzinf
October 4, 2023 11:25 32m 27s fix/919-solc-version
fix/919-solc-version
October 4, 2023 11:25 32m 27s
fix: Fixes solc version of contracts certora #75: Pull request #920 opened by miguelmtzinf
October 4, 2023 11:22 34m 9s fix/919-solc-version
fix/919-solc-version
October 4, 2023 11:22 34m 9s