diff --git a/.github/configs b/.github/configs index bf7b71572..12578c067 100755 --- a/.github/configs +++ b/.github/configs @@ -119,7 +119,7 @@ case "${TARGET_HOST}" in SKIP_LTESTS=scp3 ;; hurd) - SKIP_LTESTS="forwarding multiplex proxy-connect hostkey-agent" + SKIP_LTESTS="forwarding multiplex proxy-connect hostkey-agent agent-ptrace" ;; minix3) CC="clang"