chore: use append instead of push

HathorNetwork · Jul 4, 2023 · 63697f1 · 63697f1
1 parent d958e31
commit 63697f1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -41,7 +41,7 @@ jobs:
           outputs = []
           if os.environ['GITHUB_OUTPUT']:
             outputs.append(os.environ['GITHUB_OUTPUT'])
-          outputs.push('{name}={value}'.format(name='matrix', value=json.dumps(matrix)))
+          outputs.append('{name}={value}'.format(name='matrix', value=json.dumps(matrix)))
           os.environ['GITHUB_OUTPUT'] = '\n'.join(outputs)
   check-matrix:
     runs-on: ubuntu-latest

diff --git a/extras/github/docker.py b/extras/github/docker.py
@@ -5,9 +5,9 @@
 def print_output(output: Dict):
     outputs = []
     if os.environ['GITHUB_OUTPUT']:
-        outputs.push(os.environ['GITHUB_OUTPUT'])
+        outputs.append(os.environ['GITHUB_OUTPUT'])
     for k, v in output.items():
-        outputs.push('{name}={value}'.format(name=k, value=v))
+        outputs.append('{name}={value}'.format(name=k, value=v))
     os.environ['GITHUB_OUTPUT'] += '\n'.join(outputs)
 
 def prep_base_version(environ: Dict):