Compare commits

..

No commits in common. "8a7cbc484e0db54041fae703ff519d49027642f2" and "3ae0e5dc723e202a2189365fcce9ede0361b1573" have entirely different histories.

2 changed files with 3 additions and 3 deletions

View File

@ -29,10 +29,10 @@ release:
echo {{ if git_status == "" {"git status ok"} else {error("please commit changes first")} }} echo {{ if git_status == "" {"git status ok"} else {error("please commit changes first")} }}
just build just build
git checkout release git checkout release
git merge main git merge {{from_branch}}
-git commit -am "release build" -git commit -am "release build"
git checkout main
git push git push
git checkout {{from_branch}}
# serve the pkg directory # serve the pkg directory
serve: serve:

View File

@ -96,7 +96,7 @@ function bundle_keys () {
} }
function start_io_polling () { function start_io_polling () {
io_interval_id = setInterval(io_poller, 10) io_interval_id = setInterval(io_poller, 100)
} }
// runs a ludus script; does not return the result // runs a ludus script; does not return the result