Add CHANGELOG, update HACKING.md, add CI job #7
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "chores"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This MR completes several chores making this repository more maintainable and ready to be used by other people (or ourselves in two weeks).
requested review from @emacsen
assigned to @CSDUMMI
added 1 commit
Compare with previous version
added 1 commit
Compare with previous version
added 1 commit
eb13d252- Add CI job for running automated testsCompare with previous version
mentioned in commit
afbeb1182a