Auto-upgrade to 5.13.0.1 (#243) #666

Job	Run time
build (aws-lambda-http)	45s
build (aws-lambda-custom-runtime)	1m 45s
build (aws-lambda-events)	44s
build (bearer-auth)	1m 11s
build (graalvm)	1m 12s
build (hello-world)	51s
build (hexagonal)	48s
build (hotwire)	43s
build (http4k-connect)	1m 20s
build (graphql)	42s
build (json-api)	45s
build (oauth)	47s
build (openapi)	44s
build (quarkus)	2m 31s
build (react-app)	42s
build (typesafe-configuration)	1m 19s
build (web-content)	43s
build (websockets)	50s
	18m 22s

Provide feedback