[v1.4.0] Update github actions versions, changelog and version number (…

…#82) * Update version number * Update version * Update github release actions
aws · May 8, 2024 · d47704d · d47704d
1 parent 08379c6
commit d47704d
Show file tree

Hide file tree

Showing 10 changed files with 16 additions and 10 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -16,7 +16,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           ref: ${{ github.event.inputs.commit_id }}
       - name: Configure git identity
@@ -53,7 +53,7 @@ jobs:
       - name: Install ZIP tools
         run: sudo apt-get install zip unzip
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           ref: ${{ github.event.inputs.commit_id }}
           path: Device-Defender-for-AWS-IoT-embedded-sdk

diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,11 @@
 # Changelog for AWS IoT Device Defender Library
 
+## v1.4.0 (May 2024)
+
+### Updates
+ - [#80](https://github.com/aws/Device-Defender-for-AWS-IoT-embedded-sdk/pull/80) Fix MISRA violation
+
+
 ## v1.3.0 (October 2022)
 
 ### Updates

diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile
@@ -48,7 +48,7 @@ PROJECT_NAME           = "AWS IoT Device Defender"
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = v1.3.0
+PROJECT_NUMBER         = v1.4.0
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a

diff --git a/source/defender.c b/source/defender.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Defender Client v1.3.0
+ * AWS IoT Device Defender Client v1.4.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/include/defender.h b/source/include/defender.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Defender Client v1.3.0
+ * AWS IoT Device Defender Client v1.4.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/source/include/defender_config_defaults.h b/source/include/defender_config_defaults.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Defender Client v1.3.0
+ * AWS IoT Device Defender Client v1.4.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/Defender_GetTopic/Defender_GetTopic_harness.c b/test/cbmc/proofs/Defender_GetTopic/Defender_GetTopic_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Defender Client v1.3.0
+ * AWS IoT Device Defender Client v1.4.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/proofs/Defender_MatchTopic/Defender_MatchTopic_harness.c b/test/cbmc/proofs/Defender_MatchTopic/Defender_MatchTopic_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Defender Client v1.3.0
+ * AWS IoT Device Defender Client v1.4.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/include/defender_config.h b/test/include/defender_config.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Defender Client v1.3.0
+ * AWS IoT Device Defender Client v1.4.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/unit-test/defender_utest.c b/test/unit-test/defender_utest.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Defender Client v1.3.0
+ * AWS IoT Device Defender Client v1.4.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT