Skip to content

Actions: aave-dao/aave-delivery-infrastructure

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora-review.yml
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add SPDX-License-Identifier headers to Certora harness files certora #22: Pull request #117 opened by 0x4543
Action required 0x4543:main
0x4543:main
Action required
Merge pull request #116 from bgd-labs/feat/x-layer certora #21: Commit 3d430b0 pushed by sendra
1m 18s main
main
1m 18s
feat: add X Layer network certora #20: Pull request #116 synchronize by sendra
1s bgd-labs:feat/x-layer
bgd-labs:feat/x-layer
1s
feat: add X Layer network certora #19: Pull request #116 synchronize by sendra
1s bgd-labs:feat/x-layer
bgd-labs:feat/x-layer
1s
feat: add X Layer network certora #18: Pull request #116 opened by sendra
1s bgd-labs:feat/x-layer
bgd-labs:feat/x-layer
1s
feat: Chainlink Emergency Oracle update for ccc rev 4 certora #17: Pull request #115 opened by sendra
1s bgd-labs:feat/ceo-ccc-update
bgd-labs:feat/ceo-ccc-update
1s
Merge pull request #114 from bgd-labs/fix/readme-tables-bob-plasma certora #16: Commit 5507577 pushed by sendra
1m 13s main
main
1m 13s
fix: Added addresses for Plasma and Bob and fixed some consensus in r… certora #15: Pull request #114 opened by sendra
6s bgd-labs:fix/readme-tables-bob-plasma
bgd-labs:fix/readme-tables-bob-plasma
6s
Merge pull request #113 from bgd-labs/feat/scripts-readme certora #14: Commit 656b876 pushed by sendra
57s main
main
57s
feat: Added scripts readme certora #13: Pull request #113 opened by sendra
1s bgd-labs:feat/scripts-readme
bgd-labs:feat/scripts-readme
1s
Merge pull request #112 from bgd-labs/feat/plasma-ccip certora #12: Commit 02ea183 pushed by sendra
57s main
main
57s
feat: add plasma ccip chain id certora #11: Pull request #112 opened by sendra
1s bgd-labs:feat/plasma-ccip
bgd-labs:feat/plasma-ccip
1s
feat: Add plasma network (#111) certora #10: Commit acff9e1 pushed by sakulstra
1m 19s main
main
1m 19s
feat: Add plasma network certora #9: Pull request #111 synchronize by sendra
5s bgd-labs:feat/plasma
bgd-labs:feat/plasma
5s
feat: Add plasma network certora #8: Pull request #111 synchronize by sendra
1s bgd-labs:feat/plasma
bgd-labs:feat/plasma
1s
feat: Add plasma network certora #7: Pull request #111 opened by sendra
1s bgd-labs:feat/plasma
bgd-labs:feat/plasma
1s
fix: updated copyright certora #6: Commit 390e807 pushed by sendra
58s main
main
58s
fix: fixed env example certora #5: Commit dfebf01 pushed by sendra
1m 17s main
main
1m 17s
Merge pull request #109 from bgd-labs/fix/make-ready-for-migration-to… certora #4: Commit ff8fe5e pushed by sendra
1m 3s main
main
1m 3s
fix: update readme with current networks certora #3: Pull request #109 synchronize by sendra
1m 1s fix/make-ready-for-migration-to-aave-dao
fix/make-ready-for-migration-to-aave-dao
1m 1s
fix: update readme with current networks certora #2: Pull request #109 synchronize by sendra
1m 14s fix/make-ready-for-migration-to-aave-dao
fix/make-ready-for-migration-to-aave-dao
1m 14s
fix: update readme with current networks certora #1: Pull request #109 synchronize by sendra
45s fix/make-ready-for-migration-to-aave-dao
fix/make-ready-for-migration-to-aave-dao
45s