diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
index 0174ce96a..b9db1127b 100644
--- a/.github/workflows/master.yml
+++ b/.github/workflows/master.yml
@@ -22,8 +22,7 @@ jobs:
       run: make -j10 system
     - name: Validate build
       run: |
-        gridlabd -D keep_progress=TRUE -T 0 --validate 
-        utilities/save_validation_errors || true
+        gridlabd -D keep_progress=TRUE -T 0 --validate || ( utilities/save_validation_errors ; fail )
     - name: Upload artifacts
       uses: actions/upload-artifact@v2
       with:
diff --git a/gldcore/version.h b/gldcore/version.h
index 26f776a09..ec29f3776 100644
--- a/gldcore/version.h
+++ b/gldcore/version.h
@@ -11,7 +11,7 @@
 
 #define REV_MAJOR 4
 #define REV_MINOR 2
-#define REV_PATCH 12
+#define REV_PATCH 13
 
 #ifdef HAVE_CONFIG_H
 #include "config.h"