Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    Guillaume Claret
    @clarus
    I should make a manual backup of all the archives just in case
    Karl Palmskog
    @palmskog
    Theo said one can do backups on Gitlab
    I guess we should do an issue on backups of the Coq Opam archive, it can be discussed and perhaps worked on at the dev workshop
    Guillaume Claret
    @clarus
    OK
    Good idea
    Karl Palmskog
    @palmskog
    hmm, I think we will have to adjust most packages in coq-dev to the fact that nothing is compatible with OCaml 4.10.0 right now
    I suspect master will become compatible soon, along with 8.11.dev, but basically everything else needs < 4.10.0
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot

    Summary of the past 72 hours:

    18544 package installations, 0 errors, 0.00% errors ✅

    Guillaume Claret
    @clarus
    OK, wow, I haven't seen that OCaml 4.10 got released
    :tada:
    I will add a runner for this new version
    Karl Palmskog
    @palmskog
    @clarus the problem is that no Coq version is currently compatible with 4.10, not even master
    Guillaume Claret
    @clarus
    :fearful:
    Karl Palmskog
    @palmskog
    there is some pull request branch, but that's it
    Guillaume Claret
    @clarus
    OK
    Karl Palmskog
    @palmskog
    Pierre-Marie Pedrot said they are aiming to make master and 8.11.1 (and v8.11 branch) compatible
    but I would hold off creating a runner until then
    Guillaume Claret
    @clarus
    OK
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    20040 package installations, 41 errors, 0.20% errors
    Guillaume Claret
    @clarus
    OK, numerous download errors
    it seems that there was a GitHub incident and it got solved
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot

    Summary of the past 72 hours:

    17220 package installations, 0 errors, 0.00% errors ✅

    Guillaume Claret
    @clarus
    :ok_hand:
    Karl Palmskog
    @palmskog
    :tada:
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot

    Summary of the past 72 hours:

    18665 package installations, 1 error, 0.01% errors

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot

    Summary of the past 72 hours:

    17343 package installations, 0 errors, 0.00% errors ✅

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot

    Summary of the past 72 hours:

    14551 package installations, 1 error, 0.01% errors

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot

    Summary of the past 72 hours:

    16034 package installations, 1 error, 0.01% errors

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    17533 package installations, 8 errors, 0.05% errors
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    14663 package installations, 18 errors, 0.12% errors
    Guillaume Claret
    @clarus
    all errors are download errors, apart from Monae
    Karl Palmskog
    @palmskog
    yeah, the old monae is not compatible with the new infotheo
    needs to have infotheo < "0.1"
    Guillaume Claret
    @clarus
    yes, just opened a pull-request with that coq/opam-coq-archive#1215
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:

    >

    14684 package installations, 5 errors, 0.03% errors

    Guillaume Claret
    @clarus
    download errors or errors which are now fixed
    PR for flocq-quickchick: coq/opam-coq-archive#1221