m

Author: ajewellamz

DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/DdbMiddlewareConfig.dfy

@@ -45,7 +45,7 @@ module DdbMiddlewareConfig {
     }
 
     var outR := config.search.value.curr().bucketSelector.GetBucketNumber(DDBE.GetBucketNumberInput(
-      item := item, numberOfBuckets := numBuckets, logicalTableName := config.logicalTableName));
+                                                                            item := item, numberOfBuckets := numBuckets, logicalTableName := config.logicalTableName));
     var out :- outR.MapFailure(e => AwsCryptographyDbEncryptionSdkDynamoDb(e));
     if out.bucketNumber == 0 {
       return Success(0);

Makefile

@@ -50,6 +50,9 @@ format_java_misc: setup_prettier
 format_spec: setup_prettier
 	npx prettier --plugin=prettier-plugin-java specification --write
 
+format_workflow: setup_prettier
+	npx prettier --plugin=prettier-plugin-java .github --write
+
 format_java_misc-check: setup_prettier
 	npx prettier --plugin=prettier-plugin-java . --check