m

Author: ajewellamz

.github/workflows/library_rust_tests.yml

@@ -59,7 +59,7 @@ jobs:
       # - name: Rustfmt Check
       #   uses: actions-rust-lang/rustfmt@v1
 
-      # TODO: Use setup-dafny-actions with correct version when Dafny releases 4.8.2
+      # Use setup-dafny-actions with correct version when Dafny releases 4.8.2
       - name: Setup Dafny
         #        uses: dafny-lang/[email protected]
         uses: ./submodules/smithy-dafny/.github/actions/build_dafny_from_source

.github/workflows/smithy-diff.yml

@@ -35,7 +35,7 @@ jobs:
           FILES: ${{ steps.file-changes.outputs.FILES }}
         if: ${{env.FILES != ''}}
         run: |
-          # TODO: If https://github.com/smithy-lang/smithy-dafny/issues/491 is resolved, remove comment about this issue.
+          # If https://github.com/smithy-lang/smithy-dafny/issues/491 is resolved, remove comment about this issue.
           COMMENT="@${{github.event.pull_request.user.login}} and @${{github.actor}}, I noticed you are updating the smithy model files.\nDoes this update need new or updated javadoc trait documentation?\n Are you adding constraints inside list, map or union? Do you know about this issue: https://github.com/smithy-lang/smithy-dafny/issues/491?"
           COMMENT_URL="https://api.github.com/repos/${{ github.repository }}/issues/${PR_NUMBER}/comments"
           curl -s -H "Authorization: token ${GITHUB_TOKEN}" -X POST $COMMENT_URL -d "{\"body\":\"$COMMENT\"}"