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
Owner

This PR both isolates builds into their own containers & adds an initial check to see if a package should be built. For this, I added HEAD request handling to the /:filename route. This is then used by each build container to check whether the package file already exists. I also enabled multi-threaded compilation in makepkg.

Closes #86
Closes #100

This PR both isolates builds into their own containers & adds an initial check to see if a package should be built. For this, I added HEAD request handling to the `/:filename` route. This is then used by each build container to check whether the package file already exists. I also enabled multi-threaded compilation in makepkg. Closes #86 Closes #100
Jef Roosens added this to the 0.2.0 milestone 2022-02-25 21:52:30 +01:00
Containers now check whether package should be rebuilt
Some checks failed
ci/woodpecker/push/arch unknown status
ci/woodpecker/push/deploy unknown status
ci/woodpecker/push/docker unknown status
ci/woodpecker/push/lint Pipeline failed
ci/woodpecker/push/build Pipeline failed
a7cb08f93d
Forgot to uncomment line
Some checks failed
ci/woodpecker/push/arch unknown status
ci/woodpecker/push/deploy unknown status
ci/woodpecker/push/docker unknown status
ci/woodpecker/push/lint Pipeline failed
ci/woodpecker/push/build Pipeline failed
732b53b6ce
Fixed linting errors
Some checks failed
ci/woodpecker/push/deploy unknown status
ci/woodpecker/push/docker unknown status
ci/woodpecker/push/arch unknown status
ci/woodpecker/push/lint Pipeline was successful
ci/woodpecker/push/build Pipeline was successful
4a4362c138
Commenting is not possible because the repository is archived.
No description provided.