just: push

This commit is contained in:
Simon Michael 2023-12-09 00:26:06 -10:00
parent 36e1380674
commit 67deeafd34

View File

@ -14,6 +14,12 @@
@fmt:
just -q check || just --fmt --unstable
# ** dev
# push to github CI branch, wait for CI tests to pass, then push to master
@push *INTERVALSECS:
tools/push {{ INTERVALSECS }}
# ** releasing
# Symlink/copy important files temporarily in .relfiles/.