vieter-v/vieter
vieter-v/vieter
Archived
2
1
Fork 5
Code Issues 84 Pull requests 4 Projects Releases 12 Packages 1 Wiki Activity

Isolate builds, build when necessary #107

Merged
Jef Roosens merged 5 commits from build-system-upgrade into dev 2022-02-25 22:08:03 +01:00
Conversation 0 Commits 5 Files changed 6 +1 -1
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 732b53b6ce - Show all commits

2
src/build.v
View file

@ -120,7 +120,7 @@ fn build() ? {
time.sleep(5000000000)
}
// docker.remove_container(id) ?
docker.remove_container(id) ?
}
// Finally, we remove the builder image