Skip to content

Comments

chore: Update lean4-nix#65

Merged
samuelburnham merged 1 commit intomainfrom
update-lean4-nix
Oct 28, 2025
Merged

chore: Update lean4-nix#65
samuelburnham merged 1 commit intomainfrom
update-lean4-nix

Conversation

@samuelburnham
Copy link
Member

No description provided.

@samuelburnham samuelburnham enabled auto-merge (squash) October 28, 2025 17:12
@samuelburnham samuelburnham merged commit d2bbbfa into main Oct 28, 2025
5 checks passed
@samuelburnham samuelburnham deleted the update-lean4-nix branch October 28, 2025 17:15
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