From d7d4c98e5f9fb9c005dd2d2ea9c51e5cc21699fb Mon Sep 17 00:00:00 2001
From: Andrew Appel <appel@princeton.edu>
Date: Mon, 6 Jan 2025 10:40:43 -0500
Subject: [PATCH] Update CI; update InteractionTrees submodule

---
 .github/workflows/coq-action.yml | 11 ++++-------
 InteractionTrees                 |  2 +-
 2 files changed, 5 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index 94c2e4f63..8e0729dde 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -21,8 +21,8 @@ jobs:
         # except for the "make_target" field and make_target related excludes
         coq_version:
           # See https://github.com/coq-community/docker-coq/wiki for supported images
-          - '8.18'
           - '8.19'
+          - '8.20'
           - 'dev'
         bit_size:
           - 32
@@ -30,7 +30,7 @@ jobs:
         make_target:
           - vst
         exclude:   
-          - coq_version: 8.18
+          - coq_version: 8.19
             bit_size: 32
           - coq_version: dev
             bit_size: 32
@@ -88,9 +88,8 @@ jobs:
       fail-fast: false
       matrix:
         coq_version:
-#          - '8.17'
-          - '8.18'
           - '8.19'
+          - '8.20'
           - 'dev' 
         make_target:
           - assumptions.txt
@@ -103,9 +102,7 @@ jobs:
           - 32
           - 64
         exclude:
-#          - coq_version: 8.17
-#            bit_size: 32
-          - coq_version: 8.18
+          - coq_version: 8.19
             bit_size: 32
           - coq_version: dev
             bit_size: 32
diff --git a/InteractionTrees b/InteractionTrees
index dda104937..e7fed212b 160000
--- a/InteractionTrees
+++ b/InteractionTrees
@@ -1 +1 @@
-Subproject commit dda104937d79e2052d1a26f6cbe89429245ff743
+Subproject commit e7fed212b1061b358428b57e11ee489184e241a2