Add ALMProxy to CI

makerdao · Nov 21, 2024 · f52f570 · f52f570
1 parent 15a40ca
commit f52f570
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -13,6 +13,7 @@ jobs:
           - rate-limits
           - mainnet-controller
           - foreign-controller
+          - alm-proxy
 
     steps:
       - name: Checkout