This hook is to be installed in the git repository that you push your code to to
be run. It is placed in .git/hooks/post-receive. It must be executable
(use chmod +x).
post-receive will run make run on any code pushed on the run branch, and
commit the results. This commit is not added to the run branch but is
referenced by refs/results/deadbeef... where deadbeef... is the hash of the
commit that was used to generate the results.
You can fetch all results with:
git fetch <remote> refs/results/*:refs/results/*Or to fetch only the result of deadbeef...:
git fetch <remote> refs/results/deadbeef...:refs/results/deadbeef...E.g. to fetch the result for HEAD, use:
git fetch <remote> refs/results/$(git rev-parse @):refs/results/$(git rev-parse @)