mirror of
https://github.com/jupyter/docker-stacks.git
synced 2025-10-13 04:52:57 +00:00
Remove unused function
This commit is contained in:
@@ -16,8 +16,6 @@ in a GitHub CI environment.
|
|||||||
import json
|
import json
|
||||||
import os
|
import os
|
||||||
|
|
||||||
from contextlib import contextmanager
|
|
||||||
|
|
||||||
|
|
||||||
def _gwc(command_name, command_value="", **params):
|
def _gwc(command_name, command_value="", **params):
|
||||||
if not os.environ.get("GITHUB_ACTIONS"):
|
if not os.environ.get("GITHUB_ACTIONS"):
|
||||||
@@ -35,18 +33,6 @@ def _gwc(command_name, command_value="", **params):
|
|||||||
print(f"::{command_name}::{command_value}")
|
print(f"::{command_name}::{command_value}")
|
||||||
|
|
||||||
|
|
||||||
@contextmanager
|
|
||||||
def _gwc_group(group_name):
|
|
||||||
"""
|
|
||||||
Entering the context prints the group command, and exiting the context
|
|
||||||
prints the endgroup command.<<
|
|
||||||
"""
|
|
||||||
try:
|
|
||||||
yield _gwc("group", group_name)
|
|
||||||
finally:
|
|
||||||
_gwc("endgroup", group_name)
|
|
||||||
|
|
||||||
|
|
||||||
def _gwc_set_env(env_name, env_value):
|
def _gwc_set_env(env_name, env_value):
|
||||||
if not os.environ.get("GITHUB_ACTIONS") or not os.environ.get("GITHUB_ENV"):
|
if not os.environ.get("GITHUB_ACTIONS") or not os.environ.get("GITHUB_ENV"):
|
||||||
return
|
return
|
||||||
|
Reference in New Issue
Block a user