From a6e78dec0f23f50b9ac7ac8c08fc953532b2f1f1 Mon Sep 17 00:00:00 2001
From: Marc-Antoine Ouimet <ouimetmarcantoine@gmail.com>
Date: Mon, 22 Jul 2024 00:14:15 -0400
Subject: [PATCH] Update changelog for `v1.1.2`

---
 .github/workflows/build-and-test.yml |  8 ++++----
 CHANGES.md                           | 13 +++++++++++++
 beluga.opam                          |  1 +
 dune-project                         |  1 +
 4 files changed, 19 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
index dabca3d62..0a96df05d 100644
--- a/.github/workflows/build-and-test.yml
+++ b/.github/workflows/build-and-test.yml
@@ -72,15 +72,15 @@ jobs:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
           dune-cache: true
 
+      - name: Install coreutils on MacOS
+        if: runner.os == 'macOS'
+        run: brew install coreutils
+
       - name: Install dependencies
         run: opam install --locked --deps-only --with-test --with-doc ./beluga.opam
 
       - name: Build
         run: opam exec -- make
 
-      - name: Install coreutils on MacOS
-        if: runner.os == 'macOS'
-        run: brew install coreutils
-
       - name: Test
         run: opam exec -- make test
diff --git a/CHANGES.md b/CHANGES.md
index d01b4ba46..701289e76 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,16 @@
+## v1.1.2
+
+### Added
+
+- Added C. Sano, R. Kavanagh and B. Pientka's artifact for "Mechanizing Session-Types Using a Structural View" as a case study (#271).
+
+### Fixed
+
+- Support postponed fixity pragmas in modules.
+- The hole `_` in the LF term `\x._` is parsed as a wildcard instead of as an identifier.
+- Shadowed bindings in a module are no longer brought into scope when the module is opened.
+- Support postponed fixity pragmas in Harpoon sessions.
+
 ## v1.1.1
 
 ### Added
diff --git a/beluga.opam b/beluga.opam
index 30f57b4c7..59c0e28a9 100644
--- a/beluga.opam
+++ b/beluga.opam
@@ -24,6 +24,7 @@ depends: [
   "sedlex" {>= "2.5"}
   "omd" {>= "1.3.2"}
   "uri" {>= "4.2.0"}
+  "conf-timeout" {with-test}
   "ocamlformat" {= "0.25.1" & with-test}
   "yojson" {>= "2.0.2" & with-test}
   "ounit2" {>= "2.2.6" & with-test}
diff --git a/dune-project b/dune-project
index cf3873a0e..a89c309d3 100644
--- a/dune-project
+++ b/dune-project
@@ -44,6 +44,7 @@
    (>= 1.3.2))
   (uri
    (>= 4.2.0))
+  (conf-timeout :with-test)
   (ocamlformat
    (and
     (= 0.25.1)