Remove colon in description that was causing action to fail (FreeRTOS#97

) Co-authored-by: Soren Ptak <ptaksoren@gmail.com>
kstribrnAmzn · Dec 15, 2023 · 4fe6122 · 4fe6122
1 parent 83b95ba
commit 4fe6122
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/set_up_cbmc_runner/action.yml b/set_up_cbmc_runner/action.yml
@@ -4,7 +4,8 @@
 name: Set up CBMC runner
 inputs:
   cbmc_version:
-    description: Version number or '5.95.1' for CBMC. NOTE: This is because of the fact that the 6.0.0 alpha release isn't meant for production use. When the full release happens this should be set back to using the 'latest' https://github.com/diffblue/cbmc/releases/tag/cbmc-6.0.0-alpha
+    # NOTE This is because of the fact that the 6.0.0 alpha release isn't meant for production use. When the full release happens this should be set back to using the 'latest' https://github.com/diffblue/cbmc/releases/tag/cbmc-6.0.0-alpha
+    description: Version number or '5.95.1' for CBMC.
     required: true
     default: 5.95.1
   cbmc_viewer_version: