CircleCI doesnt build x230-hotp-maximized after commit a2a027f6610bb8e357e65324d30dc5a4741b52dc

[secur1tree]

a2a027f was the last commit where CircleCI built x230-hotp-maximized. More recent commits only build the _usb-kb --fhd-edp board configurations.

---

EDITED by @tlaurion: commit id to point to a2a027f which dropped x230-hotp-maximized by error at a2a027f#diff-78a8a19706dbd2a4425dd72bdab0502ed7a2cef16365ab7030a5a0588927bf47L376

[tlaurion]

Oups. Thanks for raising this issue

fixed under #2094