Skip to content

Conversation

@Chobbes
Copy link
Member

@Chobbes Chobbes commented Nov 13, 2025

Added a nix flake to the repo so the project can be built with nix. I also added CI for this, as well as a status badge to the readme.

@YaZko YaZko merged commit e1800bc into vellvm:rocq9.0 Nov 14, 2025
1 of 2 checks passed
@YaZko
Copy link
Contributor

YaZko commented Nov 14, 2025

Thanks Calvin!

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