Auto-upgrade to 5.13.0.0 (#242) #664

Job	Run time
build (aws-lambda-http)	43s
build (aws-lambda-custom-runtime)	46s
build (aws-lambda-events)	51s
build (bearer-auth)	1m 18s
build (graalvm)	1m 16s
build (hello-world)	43s
build (hexagonal)	53s
build (hotwire)	42s
build (http4k-connect)	1m 20s
build (graphql)	44s
build (json-api)	45s
build (oauth)	43s
build (openapi)	43s
build (quarkus)	1m 7s
build (react-app)	39s
build (typesafe-configuration)	41s
build (web-content)	45s
build (websockets)	1m 23s
	16m 2s

Provide feedback