New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update docs and build commands #228

Merged

alexytsu merged 2 commits into main from chore/update-docs-and-builds

Oct 4, 2023

Member

alexytsu commented Oct 3, 2023

A few things have gone stale. This fixes broken links and build scripts

fix readme links in repo
fix makefile

alexytsu added 2 commits

October 3, 2023 12:16


          fix readme links in repo

addfd0a


          fix makefile

5373ae9

coveralls commented Oct 3, 2023

coverage: 87.195%. remained the same when pulling 5373ae9 on chore/update-docs-and-builds into a9dde51 on main.

anorth approved these changes

View reviewed changes

alexytsu merged commit 2801706 into main

4 checks passed

alexytsu deleted the chore/update-docs-and-builds branch

October 4, 2023 00:27

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment