[ci] docker on 8.15

gares · gares · commit ffb80378a9fa · 2022-01-09T20:56:57.000+01:00
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -19,6 +19,7 @@ jobs:
         coq_version:
           - '8.13'
           - '8.14'
+          - '8.15'
         ocaml_version:
           - '4.07-flambda'
     steps:
diff --git a/coq-hierarchy-builder.opam b/coq-hierarchy-builder.opam
@@ -12,7 +12,7 @@ build: [ [ make "build"]
          [ make "test-suite" ] {with-test}
        ]
 install: [ make "install" ]
-depends: [ "coq-elpi" { (>= "1.11.0" & < "1.12~") | = "dev" } ]
+depends: [ "coq-elpi" { (>= "1.11.0" & < "1.13~") | = "dev" } ]
 conflicts: [ "coq-hierarchy-builder-shim" ]
 synopsis: "High level commands to declare and evolve a hierarchy based on packed classes"
 description: """

Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@ build: [ [ make "build"]`
`12`	`12`	`[ make "test-suite" ] {with-test}`
`13`	`13`	`]`
`14`	`14`	`install: [ make "install" ]`
`15`		`-depends: [ "coq-elpi" { (>= "1.11.0" & < "1.12~") \| = "dev" } ]`
	`15`	`+depends: [ "coq-elpi" { (>= "1.11.0" & < "1.13~") \| = "dev" } ]`
`16`	`16`	`conflicts: [ "coq-hierarchy-builder-shim" ]`
`17`	`17`	`synopsis: "High level commands to declare and evolve a hierarchy based on packed classes"`
`18`	`18`	`description: """`