change name and rust version

whazor · Mar 11, 2017 · 37aad3c · 37aad3c
1 parent 193ef98
commit 37aad3c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/appveyor.yml b/appveyor.yml
@@ -5,10 +5,10 @@ environment:
   global:
   # TODO This is the Rust channel that build jobs will use by default but can be
   # overridden on a case by case basis down below
-    RUST_VERSION: stable
+    RUST_VERSION: nightly
 
     # TODO Update this to match the name of your project.
-    CRATE_NAME: trust
+    CRATE_NAME: model_checker
 
   # TODO These are all the build jobs. Adjust as necessary. Comment out what you
   # don't need