chore: add info log when building with Ledger support disabled #211

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
cleanup-runs	10s
build	24s
newbuild	24s
test-sim-nondeterminism	7s
install-runsim	21s
test-sim-multi-seed-short	8s
test-sim-multi-seed-long	6m 36s
	8m 10s