]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #3091 from DaanDeMeyer/fix
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Wed, 2 Oct 2024 16:42:19 +0000 (18:42 +0200)
committerGitHub <noreply@github.com>
Wed, 2 Oct 2024 16:42:19 +0000 (18:42 +0200)
Evaluate tools_tree earlier

1  2 
.github/workflows/ci.yml

Simple merge