Skip to content

Commit 0dc1159

Browse files
TODO CI
1 parent 3c02086 commit 0dc1159

File tree

3 files changed

+4
-17
lines changed

3 files changed

+4
-17
lines changed

.github/workflows/ci_todos.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,8 @@ jobs:
1717
shell: bash
1818
# TODOs may be committed as long as the same line contains a link to a Github Issue or refers to a CrypTool SIM.
1919
run: |
20-
ALL_TODO_COUNT=$( { grep -r "TODO" . --exclude-dir=./releases --exclude-dir=./TestVectors/runtimes --exclude-dir=./submodules --exclude-dir=./.git --exclude=./.github/workflows/ci_todos.yml || true; } | wc -l)
21-
GOOD_TODO_COUNT=$( { grep -r "TODO.*\(github.com\/.*issues.*\/[1-9][0-9]*\|CrypTool-[1-9][0-9]*\)" . --exclude-dir=./releases --exclude-dir=./submodules --exclude-dir=./.git --exclude-dir=./TestVectors/runtimes --exclude=./.github/workflows/ci_todos.yml || true; } | wc -l)
20+
ALL_TODO_COUNT=$( { grep -r "TODO" . --exclude-dir=./releases --exclude-dir=./TestVectors/runtimes --exclude-dir=./submodules --exclude-dir=./.git --exclude=./.github/workflows/ci_todos.yml | grep -v "context\.TODO()" || true; } | wc -l)
21+
GOOD_TODO_COUNT=$( { grep -r "TODO.*\(github.com\/.*issues.*\/[1-9][0-9]*\|CrypTool-[1-9][0-9]*\)" . --exclude-dir=./releases --exclude-dir=./submodules --exclude-dir=./.git --exclude-dir=./TestVectors/runtimes --exclude=./.github/workflows/ci_todos.yml | grep -v "context\.TODO()" || true; } | wc -l)
2222
if [ "$ALL_TODO_COUNT" != "$GOOD_TODO_COUNT" ]; then
2323
exit 1;
2424
fi

DynamoDbEncryption/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -102,7 +102,7 @@ SERVICE_DEPS_DynamoDbEncryptionTransforms := \
102102
DynamoDbEncryption/dafny/DynamoDbItemEncryptor
103103

104104
# Go
105-
# TODO: Define the name later
105+
# TODO-Go-ORR: Define the name later https://sim.amazon.com/issues/CrypTool-5444
106106
# This will probably get changes to */releases/go/* but I will bring this to the team later.
107107
GO_MODULE_NAME="github.com/aws/aws-database-encryption-sdk-dynamodb"
108108

TestVectors/Makefile

Lines changed: 1 addition & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -148,19 +148,6 @@ _sed_types_file_add_extern:
148148

149149
_polymorph_go: purge_polymorph_code
150150

151-
# Smithy-dafny generated shim needs a long term fix.
152-
# TODO: Remove this commands once smithy-dafny is fixed
153-
# This commands does not work on windows
154-
# https://taskei.amazon.dev/tasks/CrypTool-5283
155-
purge_polymorph_code:
156-
find .. -name "shim.go" | xargs sed -i $(SED_PARAMETER) 's/(_static \*CompanionStruct_Default___)//g'
157-
rm -rf runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated \
158-
runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes \
159-
runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyDbEncryptionSdkDynamoDbService \
160-
runtimes/go/TestsFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated \
161-
runtimes/go/TestsFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes \
162-
runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyDbEncryptionSdkDynamoDbService
163-
164151
# Go
165152
GO_MODULE_NAME="github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
166153

@@ -213,7 +200,7 @@ _sed_index_file_remove_extern:
213200
_polymorph_go: purge_polymorph_code
214201

215202
# Smithy-dafny generated shim needs a long term fix.
216-
# TODO: Remove this commands once smithy-dafny is fixed
203+
# TODO: Remove this commands once smithy-dafny is fixed https://sim.amazon.com/issues/CrypTool-5445
217204
# This commands does not work on windows
218205
# https://taskei.amazon.dev/tasks/CrypTool-5283
219206
purge_polymorph_code:

0 commit comments

Comments
 (0)