diff --git a/.nanvix/src/build.py b/.nanvix/src/build.py index 5f708dd..437f6d3 100644 --- a/.nanvix/src/build.py +++ b/.nanvix/src/build.py @@ -801,6 +801,16 @@ def _stage_release(self) -> None: ) log.success("release: staging complete") + # Expose ELF binaries in a visible directory so that CI artifact + # upload globs (e.g. **/*.elf) can find them — hidden directories + # like .nanvix/ are excluded by actions/upload-artifact by default. + elf_out = repo_root() / "elf-binaries" + if elf_out.exists(): + shutil.rmtree(elf_out) + elf_out.mkdir() + for elf in (sysroot / "bin").glob("*.elf"): + shutil.copy2(elf, elf_out) + # ------------------------------------------------------------------ # Lifecycle entry point # ------------------------------------------------------------------