From ae8125cf32b4ea59403aa94a3c1d3ba8c6005c5f Mon Sep 17 00:00:00 2001
From: Kwankyu Lee <ekwankyu@gmail.com>
Date: Wed, 4 Oct 2023 13:42:44 +0900
Subject: [PATCH] Do not touch /usr

---
 .github/Dockerfile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/Dockerfile b/.github/Dockerfile
index 0e773ff..0e88743 100644
--- a/.github/Dockerfile
+++ b/.github/Dockerfile
@@ -19,9 +19,6 @@ FROM ghcr.io/sagemath/sage/sage-ubuntu-focal-standard-with-system-packages:lates
 
 USER root
 
-# Strip executables in /usr
-RUN LC_ALL=C find /usr -executable -type f -exec strip '{}' ';' 2>&1 | grep -v "file format not recognized" || true
-
 # Remove warnings
 ENV DEBIAN_FRONTEND noninteractive
 ENV DEBCONF_NOWARNINGS="yes"