bin/sanity-check: execute all left-over intentions at the start - builder

diff options

author	Erich Eckner <git@eckner.net>	2023-07-17 21:11:58 +0200
committer	Erich Eckner <git@eckner.net>	2023-07-17 21:11:58 +0200
commit	35a86a9f4ea28afa12fd8df8615bc6edbf47c118 (patch)
tree	8f831909c7dc063219644a698b3b7ae948bc9658 /bin/.gitignore
parent	cc4f6dcf65e004fa5c69082953fe29db0d2e158e (diff)

bin/sanity-check: execute all left-over intentions at the start

* the sanity-check should only run, when nothing else runs * this enables some level of clean-up: intentions, that never successfully ran, will be tried again, here

Diffstat (limited to 'bin/.gitignore')

0 files changed, 0 insertions, 0 deletions


context:
space:
mode: