;just:push: allow custom poll interval argument

This commit is contained in:
Simon Michael 2024-03-01 18:13:30 -10:00
parent 3ca208a3b6
commit 8d9ce2abf9

View File

@ -1288,9 +1288,9 @@ sccv:
# ** Misc ------------------------------------------------------------ # ** Misc ------------------------------------------------------------
MISC: MISC:
# push to github CI, wait for tests to pass, then push to master # push to github CI, wait for tests to pass, refreshing every INTERVAL (default:10s), then push to master.
@push: @push *INTERVAL:
tools/push tools/push {{ INTERVAL }}
# run some tests to validate the development environment # run some tests to validate the development environment
# check-setup: # check-setup: