Skip to content
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.

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

Bring README up to date, bring CI back to old glory #145

Merged
merged 9 commits into from
Jul 31, 2021

Conversation

fhackett
Copy link
Contributor

As a first step in addressing issue #138 , it's fairly simple to bring the README up to date.

Many small details about how to build, run, etc are changed. Very out-of-date info is purged, and notes are made that the manual still needs updating (work in progress...).

While doing so, I realised the old README referred to a version matrix CI used to use, so I re-implemented that in the Github CI action with what I believe are currently reasonable versions. Now, that part of the README will be correct again.

@fhackett
Copy link
Contributor Author

An interesting side-effect of re-enabling the CI matrix: now the fuzz tests get to run >20x in parallel!

This PR now includes misc. bugfixes for some discovered errors.

@fhackett fhackett requested a review from shayanh July 31, 2021 01:43
README.md Outdated Show resolved Hide resolved
README.md Show resolved Hide resolved
@shayanh shayanh merged commit 31f1eba into master Jul 31, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants