early return

opendp · Aug 9, 2022 · f11a0ec · f11a0ec
1 parent b24a4e5
commit f11a0ec
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main.ts b/src/main.ts
@@ -156,13 +156,13 @@ async function run(): Promise<void> {
         }
 
         const title = 'Rendered Proofs'
-        let body = `## 🤖 ${title}
+        let body = `## 🤖 ${title} (${commit_sha})
 | file |
 | ---- |
 `
         let artifact_list = glob.sync(glob_pattern);
         if (artifact_list.length == 0) return;
-
+        
         for (let artifact of artifact_list) {
             const path = artifact.trim()