Update meta.yml and action

Template generation doesn't quite work but should maybe keep it
up-to-date.

.github/workflows/coq-action.yml

@@ -13,24 +13,25 @@ on:
 
 jobs:
   build:
+    # the OS must be GNU/Linux to be able to use the docker-coq-action
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        coq_image:
-          - 'dev-ocaml-4.14-flambda'
-          - '8.19'
-          - '8.18'
-          - '8.17'
-          - '8.16'
-          - '8.15'
-          - '8.14'
+        image:
+          - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.19'
+          - 'coqorg/coq:8.18'
+          - 'coqorg/coq:8.17'
+          - 'coqorg/coq:8.15'
+          - 'coqorg/coq:8.14'
       fail-fast: false
     steps:
       - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-record-update.opam'
-          custom_image: coqorg/coq:${{ matrix.coq_image }}
+          custom_image: ${{ matrix.image }}
+
 
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme

meta.yml

@@ -3,8 +3,8 @@ fullname: Record Update
 shortname: coq-record-update
 opam_name: coq-record-update
 organization: tchajed
+action: true
 community: false
-travis: true
 coqdoc: false
 
 synopsis: >-
@@ -33,19 +33,16 @@ license:
   identifier: MIT
 
 supported_coq_versions:
-  text: 8.8 or later
-  opam: '{(>= "8.8" & < "8.16~") | (= "dev")}'
+  text: 8.14 or later
+  opam: '{(>= "8.14" & < "8.20~") | (= "dev")}'
 
 tested_coq_opam_versions:
 - version: dev
+- version: '8.19'
+- version: '8.18'
+- version: '8.17'
 - version: '8.15'
 - version: '8.14'
-- version: '8.13'
-- version: '8.12'
-- version: '8.11'
-- version: '8.10'
-- version: '8.9'
-- version: '8.8'
 
 namespace: RecordUpdate