Skip to content

Add badge and mention Nix and CI#134

Merged
gares merged 1 commit into
math-comp:masterfrom
siraben:readme
Jul 10, 2021
Merged

Add badge and mention Nix and CI#134
gares merged 1 commit into
math-comp:masterfrom
siraben:readme

Conversation

@siraben
Copy link
Copy Markdown
Contributor

@siraben siraben commented Jul 10, 2021

No description provided.

@gares gares merged commit 16c0ec1 into math-comp:master Jul 10, 2021
@siraben siraben deleted the readme branch July 11, 2021 00:57
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