Merge pull request #4 from jaisnan/Update-release-with-kani

Update token.yaml with Kani

Author: markrtuttle

.github/cloudformation/token.yaml

@@ -9,14 +9,22 @@ Parameters:
     Type: String
     Description: GitHub organization for the cbmc-proof-debugger
     Default: model-checking
-  GithubRepoName:
+  CbmcRepoName:
     Type: String
     Description: GitHub repository for the cbmc-proof-debugger
     Default: cbmc-proof-debugger
-  PublicationTag:
+  KaniRepoName:
     Type: String
-    Description: GitHub tag triggering the GitHub publication workflow
+    Description: GitHub repository for the kani extension
+    Default: kani-vscode-extension
+  CbmcPublicationTag:
+    Type: String
+    Description: GitHub tag for proof debugger triggering the GitHub publication workflow
     Default: debugger-*
+  KaniPublicationTag:
+    Type: String
+    Description: GitHub tag for kani extension triggering the GitHub publication workflow
+    Default: Kani-vscode-*
 
 Resources:
 
@@ -48,7 +56,8 @@ Resources:
                 token.actions.githubusercontent.com:aud: sts.amazonaws.com
               StringLike:
                 token.actions.githubusercontent.com:sub:
-                  !Sub repo:${GithubRepoOrganization}/${GithubRepoName}:ref:refs/tags/${PublicationTag}
+                  !Sub repo:${GithubRepoOrganization}/${CbmcRepoName}:ref:refs/tags/${CbmcPublicationTag}
+                  !Sub repo:${GithubRepoOrganization}/${KaniRepoName}:ref:refs/tags/${KaniPublicationTag}
 
       Policies:
         - PolicyName: PublisherTokenAccess
@@ -67,4 +76,4 @@ Outputs:
   PublisherTokenReader:
     Value: !GetAtt PublisherTokenReader.Arn
     Export:
-      Name: PublisherTokenReader
+      Name: PublisherTokenReader