From 04445e4dee7099a187770335e7aa755da430d9d1 Mon Sep 17 00:00:00 2001
From: Tino Breddin <t@tolbrino.com>
Date: Tue, 26 Nov 2019 17:24:02 +0100
Subject: [PATCH 1/2] Add CI check to verify rebar.lock

---
 .circleci/config.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index c192e4e..0549670 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -8,6 +8,15 @@ executors:
     working_directory: ~/aesophia
 
 jobs:
+  verify_rebar_lock:
+    executor: aebuilder
+    steps:
+      - checkout
+      - run:
+          name: Ensure lock file is up-to-date
+          command: |
+            ./rebar3 upgrade
+            git diff --quiet -- rebar.lock || (echo "rebar.lock is not up-to-date" && exit 1)
   build:
     executor: aebuilder
     steps:

From f5df2c1a5fbbe7f378a7bb545cb8286a2977c46b Mon Sep 17 00:00:00 2001
From: Tino Breddin <t@tolbrino.com>
Date: Tue, 26 Nov 2019 17:27:26 +0100
Subject: [PATCH 2/2] Add CI workflow

---
 .circleci/config.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 0549670..88ad945 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -44,3 +44,10 @@ jobs:
             - _build/default/rebar3_20.3.8_plt
       - store_artifacts:
           path: _build/test/logs
+
+workflows:
+  version: 2
+  build_test:
+    jobs:
+      - build
+      - verify_rebar_lock