From 22daa094b838330a3ab8897dbf26828efd05d952 Mon Sep 17 00:00:00 2001 From: Sergey Dolin Date: Fri, 29 Apr 2022 09:29:36 +0500 Subject: [PATCH] Add generated files --- dist/setup/index.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/dist/setup/index.js b/dist/setup/index.js index c51a5f77..f5c9fb92 100644 --- a/dist/setup/index.js +++ b/dist/setup/index.js @@ -6112,6 +6112,9 @@ function run() { yield cacheDependencies(cache, pythonVersion); } } + else { + core.warning('python-version is empty, the OS native python will be used'); + } const matchersPath = path.join(__dirname, '../..', '.github'); core.info(`##[add-matcher]${path.join(matchersPath, 'python.json')}`); }