Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    16801 package installations, 8 errors, 0.05% errors
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    16824 package installations, 8 errors, 0.05% errors
    Guillaume Claret
    @clarus
    pi-agm: remnant; metacoq: fix ongoing
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot

    Summary of the past 72 hours:

    13797 package installations, 1 error, 0.01% errors

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

    Summary of the past 72 hours:

    15330 package installations, 4 errors, 0.03% errors

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

    Summary of the past 72 hours:

    15330 package installations, 3 errors, 0.02% errors

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

    Summary of the past 72 hours:

    15333 package installations, 4 errors, 0.03% errors

    Guillaume Claret
    @clarus
    P
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    15340 package installations, 10 errors, 0.07% errors
    Guillaume Claret
    @clarus
    fixed for coq-libhyps
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot

    Summary of the past 72 hours:

    12280 package installations, 3 errors, 0.02% errors

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

    Summary of the past 72 hours:

    13837 package installations, 5 errors, 0.04% errors

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

    Summary of the past 72 hours:

    15380 package installations, 5 errors, 0.03% errors

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:

    >

    18467 package installations, 7 errors, 0.04% errors

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    13892 package installations, 6 errors, 0.04% errors
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot

    Summary of the past 72 hours:

    15508 package installations, 5 errors, 0.03% errors

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

    Summary of the past 72 hours:

    12448 package installations, 3 errors, 0.02% errors

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:

    >

    14032 package installations, 7 errors, 0.05% errors

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    17276 package installations, 5 errors, 0.03% errors
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot

    Summary of the past 72 hours:

    12587 package installations, 3 errors, 0.02% errors

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    15779 package installations, 8 errors, 0.05% errors
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:

    >

    14229 package installations, 7 errors, 0.05% errors

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

    Summary of the past 72 hours:

    15810 package installations, 4 errors, 0.03% errors

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

    Summary of the past 72 hours:

    11077 package installations, 0 errors, 0.00% errors βœ…

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    15851 package installations, 13 errors, 0.08% errors
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot

    Summary of the past 72 hours:

    17482 package installations, 3 errors, 0.02% errors

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    15902 package installations, 8 errors, 0.05% errors
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    15910 package installations, 18 errors, 0.11% errors
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:

    >

    17518 package installations, 14 errors, 0.08% errors

    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    17523 package installations, 21 errors, 0.12% errors
    coq-opam-bench-gitter-bot
    @coq-opam-bench-gitter-bot
    Summary of the past 72 hours:
    14339 package installations, 11 errors, 0.08% errors