Merge pull request #3 from pPomCo/gha-main

chore: Update docker-action.yml (main branch)

.github/workflows/docker-action.yml

@@ -1,4 +1,4 @@
-# This file was generated from `meta.yml`, please do not edit manually.
+# This file was generated from `meta.yml`, then modified.
 # Follow the instructions on https://github.com/coq-community/templates to regenerate.
 name: Docker CI
 
@@ -17,11 +17,9 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'mathcomp/mathcomp:1.15.0-coq-8.16'
-          - 'mathcomp/mathcomp:1.15.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.15.0-coq-8.14'
-          - 'mathcomp/mathcomp:1.14.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.13.0-coq-8.15'
+          - 'mathcomp/mathcomp:2.0.0-coq-8.18'
+          - 'mathcomp/mathcomp:2.0.0-coq-8.17'
+          - 'mathcomp/mathcomp:2.0.0-coq-8.16'
       fail-fast: false
     steps:
       - uses: actions/checkout@v2

README.md

@@ -8,8 +8,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 
 [![Docker CI][docker-action-shield]][docker-action-link]
 
-[docker-action-shield]: https://github.com/pPomCo/belgames/workflows/Docker%20CI/badge.svg?branch=main
-[docker-action-link]: https://github.com/pPomCo/belgames/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/pPomCo/belgames/actions/workflows/docker-action.yml/badge.svg?branch=main
+[docker-action-link]: https://github.com/pPomCo/belgames/actions/workflows/docker-action.yml
 
 
 We formalize several results from uncertainty theories, decision theories and game theories.
@@ -31,12 +31,12 @@ studied with the classical game theoretic tools.
   - Erik Martin-Dorel (initial)
   - Hélène Fargier (initial)
 - License: [MIT](LICENSE)
-- Compatible Coq versions: 8.17 or later
+- Compatible Coq versions: 8.16 or later
 - Additional dependencies:
-  - [MathComp](https://math-comp.github.io) 2.0 or later
+  - [MathComp](https://math-comp.github.io) 2.0.0 or later
 - Coq namespace: `Decision`
 - Related publication(s):
-  - [Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant (2022)](https://ut3-toulouseinp.hal.science/hal-03782650) 
+  - [Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant (2022)](https://doi.org/10.4230/LIPIcs.ITP.2023.25)
 
 
 To build and install manually, do:

coq-belgames.opam

@@ -23,8 +23,8 @@ into games of complete information, i.e., without any uncertainty."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.14" & < "8.17~")}
-  "coq-mathcomp-algebra" {(>= "1.13" & < "1.16~")}
+  "coq" {(>= "8.16" & < "8.19~")}
+  "coq-mathcomp-algebra" {>= "2.0"}
 ]
 
 tags: [

meta.yml

@@ -24,7 +24,7 @@ description: |-
   into games of complete information, i.e., without any uncertainty.
 
 publications:
-  - pub_url: "https://ut3-toulouseinp.hal.science/hal-03782650"
+  - pub_url: "https://doi.org/10.4230/LIPIcs.ITP.2023.25"
     pub_title: "Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant (2022)"
 #   pub_doi: TODO
 
@@ -51,26 +51,22 @@ license:
   identifier: MIT
 
 supported_coq_versions:
-  text: 8.14 or later (use releases for other Coq versions)
-  opam: '{(>= "8.14" & < "8.17~")}'
+  text: 8.16 or later
+  opam: '{(>= "8.16" & < "8.19~")}'
 
 dependencies:
 - opam:
     name: coq-mathcomp-algebra
-    version: '{(>= "1.13" & < "1.16~")}'
+    version: '{>= "2.0"}'
   description: |-
-    [MathComp](https://math-comp.github.io) 1.13.0 or later (`algebra` suffices)
+    [MathComp](https://math-comp.github.io) 2.0.0 or later
 
 tested_coq_opam_versions:
-- version: '1.15.0-coq-8.16'
+- version: '2.0.0-coq-8.18'
   repo: 'mathcomp/mathcomp'
-- version: '1.15.0-coq-8.15'
+- version: '2.0.0-coq-8.17'
   repo: 'mathcomp/mathcomp'
-- version: '1.15.0-coq-8.14'
-  repo: 'mathcomp/mathcomp'
-- version: '1.14.0-coq-8.15'
-  repo: 'mathcomp/mathcomp'
-- version: '1.13.0-coq-8.15'
+- version: '2.0.0-coq-8.16'
   repo: 'mathcomp/mathcomp'
 
 # ci_cron_schedule: '20 4 * * *'