Jesse Friedland

Use display name for the build name

1

This is to support the build name setter plugin which allows you to customize the display name: https://wiki.jenkins-ci.org/display/JENKINS/Build+Name+Setter+Plugin

- saves every minter 20k of gas (@ 50 gwei this is ~$2, @ 100 gwei this is ~$4) - pack into aux on the erc721a ownership storage - ⚠️...