diff options
Diffstat (limited to '.circleci/config.yml')
| -rw-r--r-- | .circleci/config.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index cbcc26f2a6..624fa6beec 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -56,8 +56,8 @@ setup_linux_system_environment: &setup_linux_system_environment cat /etc/apt/sources.list - ps ax | grep apt - ps ax | grep dpkg + ps auxfww | grep [a]pt + ps auxfww | grep dpkg install_doc_push_script: &install_doc_push_script name: Install the doc push script |