etc/bin/nightly-lake

#!/bin/sh
set -euo pipefail
exec lake +`latest-lean4-nightly` "$@"