Delete milagro library (#5298) #1272

Job	Run time
extract-version	1s
build-docker-aarch64	19m 49s
build-docker-aarch64-dev	19m 50s
build-docker-lcli	10m 22s
build-docker-aarch64-portable	18m 0s
build-docker-aarch64-portable-dev	18m 5s
build-docker-x86_64	17m 58s
build-docker-x86_64-dev	17m 46s
build-docker-x86_64-portable	16m 17s
build-docker-x86_64-portable-dev	16m 42s
build-docker-multiarch	5s
build-docker-multiarch-modern	4s
	2h 34m 59s

Provide feedback