os

An operating system
git clone https://erai.gay/code/os/
Log | Files | Refs | README | LICENSE

commit 82420586a2b2b28786afd2e32fd9136d9654aa00
parent 4e7d379317a5e3f93a203539597b9a92811c4be6
Author: erai <erai@omiltem.net>
Date:   Sun,  9 Feb 2025 04:34:09 +0000

add time to ci builds

Diffstat:
M.build.yml | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.build.yml b/.build.yml @@ -4,8 +4,8 @@ packages: [] sources: - https://git.sr.ht/~erai/os tasks: - - bootstrap: "cd os && ./bootstrap.sh" - - build: "cd os && ./build.sh" + - bootstrap: "cd os && time ./bootstrap.sh" + - build: "cd os && time ./build.sh" - cloc: "cd os && ./cloc.sh" triggers: - action: email