From ea2c43bd522b43ab673994f450670152e1bca6a4 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sun, 15 Oct 2023 16:07:00 +0200
Subject: [PATCH] refresh boilerplate

---
 .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 7a0662d0..f59964a2 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.18'
           - 'coqorg/coq:8.17'
           - 'coqorg/coq:8.16'
           - 'coqorg/coq:8.15'
diff --git a/meta.yml b/meta.yml
index 56d74aae..0f2e2cff 100644
--- a/meta.yml
+++ b/meta.yml
@@ -54,6 +54,7 @@ supported_coq_versions:
 
 tested_coq_opam_versions:
 - version: dev
+- version: '8.18'
 - version: '8.17'
 - version: '8.16'
 - version: '8.15'