File tree Expand file tree Collapse file tree 1 file changed +27
-1
lines changed Expand file tree Collapse file tree 1 file changed +27
-1
lines changed Original file line number Diff line number Diff line change 51
51
run : python dev/scripts/format_snippet_prints.py
52
52
53
53
- name : 🏞️ Deactivate virtual environment
54
- run : deactivate
54
+ run : |
55
+ unset -f pydoc > /dev/null 2>&1 || true
56
+ if ! [ -z "${_OLD_VIRTUAL_PATH:+_}" ]
57
+ then
58
+ PATH="$_OLD_VIRTUAL_PATH"
59
+ export PATH
60
+ unset _OLD_VIRTUAL_PATH
61
+ fi
62
+ if ! [ -z "${_OLD_VIRTUAL_PYTHONHOME+_}" ]
63
+ then
64
+ PYTHONHOME="$_OLD_VIRTUAL_PYTHONHOME"
65
+ export PYTHONHOME
66
+ unset _OLD_VIRTUAL_PYTHONHOME
67
+ fi
68
+ hash -r 2> /dev/null
69
+ if ! [ -z "${_OLD_VIRTUAL_PS1+_}" ]
70
+ then
71
+ PS1="$_OLD_VIRTUAL_PS1"
72
+ export PS1
73
+ unset _OLD_VIRTUAL_PS1
74
+ fi
75
+ unset VIRTUAL_ENV
76
+ unset VIRTUAL_ENV_PROMPT
77
+ if [ ! "${1-}" = "nondestructive" ]
78
+ then
79
+ unset -f deactivate
80
+ fi
55
81
56
82
- name : 📝 Run code embedder
57
83
You can’t perform that action at this time.
0 commit comments