What's Changed
- Authorize requests to GitHub API in
Run CBMC proofs
workflow by @adpaco-aws in #1057 - reflexive vs symmetric in hash_table.h doc by @jmklix in #1056
- Add error codes for file read/write/open failures by @graebm in #1061
New Contributors
- @adpaco-aws made their first contribution in #1057
Full Changelog: v0.9.3...v0.9.4