diff --git a/justfile b/justfile index fed0a1d..10d70ba 100644 --- a/justfile +++ b/justfile @@ -29,10 +29,10 @@ release: echo {{ if git_status == "" {"git status ok"} else {error("please commit changes first")} }} just build git checkout release - git merge {{from_branch}} + git merge main -git commit -am "release build" + git checkout main git push - git checkout {{from_branch}} # serve the pkg directory serve: diff --git a/pkg/ludus.js b/pkg/ludus.js index e2ae74b..e655c8c 100644 --- a/pkg/ludus.js +++ b/pkg/ludus.js @@ -96,7 +96,7 @@ function bundle_keys () { } function start_io_polling () { - io_interval_id = setInterval(io_poller, 100) + io_interval_id = setInterval(io_poller, 10) } // runs a ludus script; does not return the result