Thierry Laurion 4b260071c3 Retry CircleCI for 4.11 on Debian 10 docker ... - Add kgpe-d16 patch to remove HID for PCI devices (successful build on top of #1101 and #1012 per https://app.circleci.com/pipelines/github/tlaurion/heads/937/workflows/de49bea0-3f58-4a91-8891-87622f5a0eed) - CircleCI modified to build for coreboot 4.11 kgpe-d16_workstation on top of 4.15 passed workspace - CircleCI modified so that we still archive all the logs in artifacts for the current build even if failing. We now exit 1 after having archived all the log files under build/		2022-02-03 15:04:09 -05:00
..
config.yml	Retry CircleCI for 4.11 on Debian 10 docker	2022-02-03 15:04:09 -05:00