Skip to content

Commit 41f1a06

Browse files
RaoulSchaffranekRaoulSchaffranek
authored
Merge pull request #18 from runtimeverification/fix/consistent-flake-lock
fix(nix): commit a consistent flake.lock so builds don't rewrite it
2 parents f4cbced + b829dbd commit 41f1a06

1 file changed

Lines changed: 43 additions & 27 deletions

File tree

‎flake.lock‎

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

0 commit comments

Comments
 (0)