aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index da44d21..f3a02f5 100644
--- a/Makefile
+++ b/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