From de108b83248b4ab43c4d40b154583f9a9f0e6c1a Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Tue, 2 Apr 2024 00:35:01 -0400 Subject: Update comment to CI script It got out of sync with the code even within commit 7597d51ed4c866f596fb690d4d53d70bc01181b4, I dunno how I let that happen. --- Biz/Ide/hooks/pre-push | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push index 16f11d1..eccd4cd 100755 --- a/Biz/Ide/hooks/pre-push +++ b/Biz/Ide/hooks/pre-push @@ -3,8 +3,11 @@ # A simple ci that saves its results in a git note, formatted according to # RFC-2822, more or less. # -# To run this manually, exec the script. It will expect to read a line of -# inputs, you can just enter 'HEAD' and it will +# To run this manually, exec the script. It will by default run the tests for +# HEAD, whatever you currently have checked out. +# +# It would be cool to use a zero-knowledge proof mechanism here to prove that +# so-and-so ran the tests, but I'll have to research how to do that. # ## set -uo pipefail -- cgit v1.2.3