ci: Build with --locked

souffle-lang · Apr 3, 2023 · e302b4b · e302b4b
1 parent f9a7074
commit e302b4b
Show file tree

Hide file tree

Showing 3 changed files with 888 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,3 @@
-/Cargo.lock
 /target
 
 /*.csv
-Original file line number
+Diff line change
@@ -1,4 +1,3 @@
-    /Cargo.lock
     /target
     /*.csv
@@ Expand Down @@