From 9400dafdc7e35b53d23ab336e3a1b548c3b09133 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sat, 30 Dec 2023 10:49:21 +0100
Subject: [PATCH] ci for 8.19

---
 .github/workflows/docker-action.yml | 1 +
 meta.yml                            | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index bfc7905..5e7c13e 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -18,6 +18,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.19'
           - 'coqorg/coq:8.18'
       fail-fast: false
     steps:
diff --git a/meta.yml b/meta.yml
index 210fc20..64290e1 100644
--- a/meta.yml
+++ b/meta.yml
@@ -39,6 +39,7 @@ supported_coq_versions:
 
 tested_coq_opam_versions:
 - version: dev
+- version: '8.19'
 - version: '8.18'
 
 tested_coq_nix_versions: