File tree Expand file tree Collapse file tree 5 files changed +8
-4
lines changed
Expand file tree Collapse file tree 5 files changed +8
-4
lines changed Original file line number Diff line number Diff line change @@ -36,21 +36,21 @@ matrix:
3636 # Test supported versions of Coq via OPAM
3737 - env :
3838 - COQ_IMAGE=coqorg/coq:8.10
39- - PACKAGE=coq-disel
39+ - PACKAGE=coq-disel.dev
4040 - NJOBS=2
4141 << : *OPAM
4242 - env :
4343 - COQ_IMAGE=coqorg/coq:8.11
44- - PACKAGE=coq-disel
44+ - PACKAGE=coq-disel.dev
4545 - NJOBS=2
4646 << : *OPAM
4747 - env :
4848 - COQ_IMAGE=coqorg/coq:8.12
49- - PACKAGE=coq-disel
49+ - PACKAGE=coq-disel.dev
5050 - NJOBS=2
5151 << : *OPAM
5252 - env :
5353 - COQ_IMAGE=coqorg/coq:dev
54- - PACKAGE=coq-disel
54+ - PACKAGE=coq-disel.dev
5555 - NJOBS=2
5656 << : *OPAM
Original file line number Diff line number Diff line change 11opam-version: "2.0"
22maintainer: "palmskog@gmail.com"
3+ version: "dev"
34
45homepage: "https://github.com/DistributedComponents/disel"
56dev-repo: "git+https://github.com/DistributedComponents/disel.git"
Original file line number Diff line number Diff line change 11opam-version: "2.0"
22maintainer: "palmskog@gmail.com"
3+ version: "dev"
34
45homepage: "https://github.com/DistributedComponents/disel"
56dev-repo: "git+https://github.com/DistributedComponents/disel.git"
Original file line number Diff line number Diff line change 11opam-version: "2.0"
22maintainer: "palmskog@gmail.com"
3+ version: "dev"
34
45homepage: "https://github.com/DistributedComponents/disel"
56dev-repo: "git+https://github.com/DistributedComponents/disel.git"
Original file line number Diff line number Diff line change 11opam-version: "2.0"
22maintainer: "palmskog@gmail.com"
3+ version: "dev"
34
45homepage: "https://github.com/DistributedComponents/disel"
56dev-repo: "git+https://github.com/DistributedComponents/disel.git"
You can’t perform that action at this time.
0 commit comments