Skip to content

[Bug] Remove apt cache after apt-get #9825

@areusch

Description

@areusch

Per #9060 (comment), best practice for apt-get install in docker is to rm -rf /var/lib/apt/lists/* after installation. we should change all docker apt-get command to do this.

Metadata

Metadata

Assignees

Labels

type:ciRelates to TVM CI infrastructure

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions