Skip to content

Commit 8c417c8

Browse files
Gustavo2622Gustavo2622
committed
PR: Improve flake.nix
1 parent b4d56e6 commit 8c417c8

3 files changed

Lines changed: 277 additions & 85 deletions

File tree

‎.envrc‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
use flake .#withDevTools
2+
export OCAMLRUNPARAM=b

‎flake.lock‎

Lines changed: 133 additions & 47 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)