From ceaeeb782f931fa9f91de4a68c6e17c2e8ac820d Mon Sep 17 00:00:00 2001 From: Rick <1450685+LinuxSuRen@users.noreply.github.com> Date: Wed, 29 Nov 2023 09:59:58 +0800 Subject: [PATCH] chore: remove gitpod dockerfile (#449) Co-authored-by: rick --- .gitpod.Dockerfile | 3 --- .gitpod.yml | 3 --- 2 files changed, 6 deletions(-) delete mode 100644 .gitpod.Dockerfile diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile deleted file mode 100644 index 8d7932f..0000000 --- a/.gitpod.Dockerfile +++ /dev/null @@ -1,3 +0,0 @@ -FROM gitpod/workspace-full - -# More information: https://www.gitpod.io/docs/config-docker/ diff --git a/.gitpod.yml b/.gitpod.yml index a56f213..e9c960c 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -1,6 +1,3 @@ -image: - file: .gitpod.Dockerfile - tasks: - init: make build command: make copy