Skip to content

Conversation

@aubertc
Copy link
Contributor

@aubertc aubertc commented Dec 16, 2024

The original text was using both the fenced markers (```) and the spacing to give the instructions for NIX.

The original text was using both the fenced markers (```) and the spacing to give the instructions for NIX.
@strub strub enabled auto-merge (rebase) December 18, 2024 06:38
@strub strub merged commit fd573d0 into EasyCrypt:main Dec 18, 2024
15 checks passed
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