What's Changed

• Doc fix for cbor by @TingDaoK in #1171
• Remove reliance on hardcoded user in ci by @DmitriyMusatkin in #1170
• Forward CMake variables to prebuilding dependencies by @sfod in #1161
• Update CBMC proof tooling to latest releases by @tautschnig in #1164
• Fix test that made no sense by @graebm in #1172

Full Changelog: v0.10.3...v0.10.4