From 0553daf8bd6f64f791475dc79a219fe4205509aa Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sat, 30 Dec 2023 10:29:34 +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 1f57b01..e9e4466 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -16,6 +16,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.19'
           - 'coqorg/coq:8.18'
           - 'coqorg/coq:8.17'
           - 'coqorg/coq:8.16'
diff --git a/meta.yml b/meta.yml
index 9704ac7..a69e266 100644
--- a/meta.yml
+++ b/meta.yml
@@ -48,6 +48,7 @@ supported_coq_versions:
 
 tested_coq_opam_versions:
 - version: dev
+- version: '8.19'
 - version: '8.18'
 - version: '8.17'
 - version: '8.16'