Formatting

safe-global · Sep 20, 2024 · cc95356 · cc95356
1 parent 408a011
commit cc95356
Showing 1 changed file with 14 additions and 1 deletion.
diff --git a/.github/workflows/certora_passkey.yml b/.github/workflows/certora_passkey.yml
@@ -19,7 +19,20 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        rule: ['GetConfigurationConf', 'GetSigner', 'ProxySimulator', 'SafeWebAuthnSignerFactory', 'SafeWebAuthnSignerProxy', 'SafeWebAuthnSignerSingleton', 'SignerCreationCantOverride', 'SingletonIsValidSignatureRevertingConditions', 'ValidSignatureForSignerIntegrity', 'VerifyEQtoIsValidSignatureForSigner', 'WebAuthn']
+        rule:
+          [
+            'GetConfigurationConf',
+            'GetSigner',
+            'ProxySimulator',
+            'SafeWebAuthnSignerFactory',
+            'SafeWebAuthnSignerProxy',
+            'SafeWebAuthnSignerSingleton',
+            'SignerCreationCantOverride',
+            'SingletonIsValidSignatureRevertingConditions',
+            'ValidSignatureForSignerIntegrity',
+            'VerifyEQtoIsValidSignatureForSigner',
+            'WebAuthn',
+          ]
     steps:
       - uses: actions/checkout@v4