После быстрого поиска «Список всех пользователей в Linux» я нашел этот ответ и выполнил следующую команду:
cut -d: -f1 /etc/passwd
и, как предположил @Ipor Sircer, этот пользователь на самом деле не существует, и я должен добавить его с:
adduser jenkins