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