From b7337e51c4775d1f22357423ade50ee0a5f5779e Mon Sep 17 00:00:00 2001 From: Dawid Dziurla Date: Wed, 1 Jun 2022 22:04:12 +0200 Subject: [PATCH] Update main.js --- main.js | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/main.js b/main.js index 9eeef647..f6ceb92d 100644 --- 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) {