lean core build

Fix links in the readme to point to the (obsolete) lean3 pages #1979

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build sanitized	34m 18s
Build linux Release	10m 6s
Build linux Debug	23m 43s
Build macos Release	9m 48s
Build linux aarch64 Release	12m 28s
Build macos Debug	19m 9s
Build emscripten	23m 25s
Build windows Release	25m 9s
	2h 38m 6s