backport from g3 to gh

cmake/doc/ci.md

@@ -44,7 +44,7 @@ Dockerfile is splitted in several stages.
 
 # Vagrant
 [Vagrant](https://www.vagrantup.com/intro) is a tool for building and managing virtual machine environments in a single workflow.  
-It is curently used to test FreeBSD inside a VirtualBox since we don't have any
+It is currently used to test FreeBSD inside a VirtualBox since we don't have any
 FreeBSD machine.  
 Vagrant call a base image a *box*.  
 Vagrant call a container a *vagrant machine*.

ortools/linear_solver/BUILD

@@ -134,6 +134,12 @@ cc_library(
     }),
 )
 
+copy_file(
+    name = "lpi_glop",
+    src = "@scip//:scip-7.0.1/src/lpi/lpi_glop.cpp",
+    out = "lpi_glop.cpp",
+)
+
 cc_library(
     name = "scip_helper_macros",
     hdrs = ["scip_helper_macros.h"],
@@ -143,9 +149,3 @@ cc_library(
         "@com_google_absl//absl/strings:str_format",
     ],
 )
-
-copy_file(
-    name = "lpi_glop",
-    src = "@scip//:scip-7.0.1/src/lpi/lpi_glop.cpp",
-    out = "lpi_glop.cpp",
-)