Skip to content

Build: Fix `make build-dev-deps'

Context

As of today, you need to run make build-dev-deps several time for it to work-ish.

Manually testing the MR

Clone a fresh copy of this repo, and run make build-dev-deps (after make build-deps or not, maybe?). It should “just work.” Hopefully.

Checklist

  • Select suitable reviewers using the Reviewers field below.
Edited by Thomas Letan

Merge request reports