;just:push: allow custom poll interval argument

simonmichael · Mar 2, 2024 · 8d9ce2a · 8d9ce2a
1 parent 3ca208a
commit 8d9ce2a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Justfile b/Justfile
@@ -1288,9 +1288,9 @@ sccv:
 # ** Misc ------------------------------------------------------------
 MISC:
 
-# push to github CI, wait for tests to pass, then push to master
-@push:
-    tools/push
+# push to github CI, wait for tests to pass, refreshing every INTERVAL (default:10s), then push to master.
+@push *INTERVAL:
+    tools/push {{ INTERVAL }}
 
 # run some tests to validate the development environment
 # check-setup: