Browse Source

Update CI targets

Loïc Hoguin 8 years ago
parent
commit
77a93c9f9f
1 changed files with 1 additions and 1 deletions
  1. 1 1
      Makefile

+ 1 - 1
Makefile

@@ -12,7 +12,7 @@ CI_OTP ?= \
 	OTP_R16B OTP_R16B01 OTP_R16B02 OTP_R16B03-1 \
 	OTP-17.1.2 OTP-17.2.2 OTP-17.3.4 OTP-17.4.1 OTP-17.5.6.6 \
 	OTP-18.0.3 OTP-18.1.5 OTP-18.2.4.1 OTP-18.3.4.4 \
-	OTP-19.0.7 OTP-19.1.2
+	OTP-19.0.7 OTP-19.1.3
 
 # Only test on the most recent version on public CI services.
 ifdef CI