Fixup

Author: akashlevy

.github/workflows/tests.yaml

@@ -26,9 +26,9 @@ jobs:
       - uses: actions/checkout@v4
         with:
           persist-credentials: false
+      - run: brew trust --formula mht208/formal/cudd
       - run: brew bundle
       - run: |
-          brew trust --formula mht208/formal/cudd
           eval "$(/opt/homebrew/bin/brew shellenv)"
           export PATH="$(brew --prefix flex)/bin:$PATH"
           export PATH="$(brew --prefix bison)/bin:$PATH"