Follow nightly instead of stable#190

TwoFX merged 1 commit intomasterleanprover/human-eval-lean:masterfrom

markus/to-nightlyleanprover/human-eval-lean:markus/to-nightlyCopy head branch name to clipboard