From b3c684b47beba8c7be465cc09ba8823507a766c7 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 9 Jan 2023 11:12:08 +0100
Subject: [PATCH] run some std tests on Windows

---
 ci-test.sh   | 2 +-
 rust-version | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci-test.sh b/ci-test.sh
index f21f45d..a4230e5 100644
--- a/ci-test.sh
+++ b/ci-test.sh
@@ -56,7 +56,7 @@ std)
     # These are the most OS-specific (among the modules we do not skip).
     CORE="time:: sync:: thread:: env::"
 
-    for TARGET in x86_64-unknown-linux-gnu aarch64-apple-darwin; do
+    for TARGET in x86_64-unknown-linux-gnu aarch64-apple-darwin x86_64-pc-windows-msvc i686-pc-windows-gnu; do
         echo "::group::Testing std core ($CORE on $TARGET)"
         MIRIFLAGS="$DEFAULTFLAGS -Zmiri-disable-isolation" \
             ./run-test.sh std --target $TARGET --lib --tests \
diff --git a/rust-version b/rust-version
index 261d20a..f7da3c5 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-nightly-2023-01-09
+nightly-2023-01-13