Skip to content
GitLab
Explore
Sign in
docker: save a few minutes of build time
Code
Review changes
Check out branch
Download
Patches
Plain diff
pini
requested to merge
pini-docker
into
dev
Apr 30, 2023
Overview
2
Commits
1
Pipelines
3
Changes
1
Expand
Dockerfile: install rust before copying the source tree to save a few minutes of build time.
Merge request reports