Update main.js

dawidd6 · Jun 1, 2022 · b7337e5 · b7337e5
1 parent 2404ff1
commit b7337e5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/main.js b/main.js
@@ -5,6 +5,10 @@ const filesize = require('filesize')
 const pathname = require('path')
 const fs = require('fs')
 
+function inform(key, val) {
+    core.info(`==> ${key}: ${val}`)
+}
+
 async function main() {
     try {
         const token = core.getInput("github_token", { required: true })
@@ -57,7 +61,7 @@ async function main() {
         }
 
         if (runNumber) {
-            core.info(`==> RunNumber: ${runNumber}`)
+            core.info(`==> Run number: ${runNumber}`)
         }
 
         if (!runID) {