8000 Workflow runs · rocq-community/paramcoq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: rocq-community/paramcoq

Actions

  • Management

    • All workflows

    Actions

    Loading...
    Loading

    Showing runs from all workflows
    29 workflow runs
    29 workflow runs

    Filter by Event

    Filter by Status

    Filter by Branch

    Filter by Actor

    Merge pull request #137 from LeoAlexElouan/clarify-bound-names     Docker CI #134: Commit 937537d pushed by SkySkimmer
    April 18, 2025 14:01 2m 15s master
    master
    April 18, 2025 14:01 2m 15s
    adapt to rocq-prover/rocq#20496 (changed bound_names)     Docker CI #133: Pull request #137 opened by LeoAlexElouan
    April 16, 2025 11:38 1m 51s LeoAlexElouan:clarify-bound-names
    LeoAlexElouan:clarify-bound-names
    April 16, 2025 11:38 1m 51s
    Merge pull request #128 from SkySkimmer/ltacX-obligations     Docker CI #132: Commit 3301779 pushed by ppedrot
    April 3, 2025 16:21 2m 2s master
    master
    April 3, 2025 16:21 2m 2s
    Add deprecation notice     Docker CI #131: Commit 8b8afda pushed by proux01
    February 25, 2025 11:49 2m 11s master
    master
    February 25, 2025 11:49 2m 11s
    Add deprecation notice     Docker CI #130: Commit 6c98491 pushed by proux01
    February 25, 2025 11:45 21s v9.0
    v9.0
    February 25, 2025 11:45 21s
    Merge pull request #135 from ppedrot/rm-tc-evd-hook     Docker CI #129: Commit 7677ccf pushed by ppedrot
    February 21, 2025 21:59 2m 16s master
    master
    February 21, 2025 21:59 2m 16s
    Adapt w.r.t. coq/coq#20278.     Docker CI #128: Pull request #135 synchronize by ppedrot
    February 21, 2025 19:12 2m 9s ppedrot:rm-tc-evd-hook
    ppedrot:rm-tc-evd-hook
    February 21, 2025 19:12 2m 9s
    Merge pull request #136 from ppedrot/fix-docker-rocq     Docker CI #127: Commit edf36fd pushed by ppedrot
    February 21, 2025 19:11 2m 18s master
    master
    February 21, 2025 19:11 2m 18s
    Use the new Docker repository for Rocq.     Docker CI #126: Pull request #136 opened by ppedrot
    February 21, 2025 19:09 2m 10s ppedrot:fix-docker-rocq
    ppedrot:fix-docker-rocq
    February 21, 2025 19:09 2m 10s
    Adapt w.r.t. coq/coq#20278.     Docker CI #125: Pull request #135 opened by ppedrot
    February 21, 2025 19:00 18s ppedrot:rm-tc-evd-hook
    ppedrot:rm-tc-evd-hook
    February 21, 2025 19:00 18s
    Merge pull request #134 from SkySkimmer/template-entry-qvar     Docker CI #124: Commit c0bb832 pushed by ppedrot
    February 6, 2025 15:05 18s master
    master
    February 6, 2025 15:05 18s
    Adapt to coq/coq#20178 (kernel template data has qvars)     Docker CI #123: Pull request #134 opened by SkySkimmer
    February 5, 2025 13:52 17s SkySkimmer:template-entry-qvar
    SkySkimmer:template-entry-qvar
    February 5, 2025 13:52 17s
    Merge pull request #133 from SkySkimmer/cominductive-lbound     Docker CI #122: Commit aac0331 pushed by ppedrot
    January 23, 2025 09:59 2m 16s master
    master
    January 23, 2025 09:59 2m 16s
    Adapt to coq/coq#19985 (template poly has pseudo sort poly)     Docker CI #121: Pull request #133 opened by SkySkimmer
    January 17, 2025 15:34 5m 6s SkySkimmer:cominductive-lbound
    SkySkimmer:cominductive-lbound
    January 17, 2025 15:34 5m 6s
    Merge pull request #132 from ppedrot/module-remove-modpath     Docker CI #120: Commit 9c5fd9f pushed by ppedrot
    January 15, 2025 14:46 5m 3s master
    master
    January 15, 2025 14:46 5m 3s
    Adapt w.r.t. coq/coq#20060.     Docker CI #119: Pull request #132 opened by ppedrot
    January 15, 2025 14:07 5m 5s ppedrot:module-remove-modpath
    ppedrot:module-remove-modpath
    January 15, 2025 14:07 5m 5s
    Merge pull request #131 from ppedrot/module-abstract-type     Docker CI #118: Commit 3562200 pushed by SkySkimmer
    January 15, 2025 13:30 5m 8s master
    master
    January 15, 2025 13:30 5m 8s
    Adapt w.r.t. coq/coq#19995.     Docker CI #117: Pull request #131 opened by ppedrot
    January 9, 2025 08:34 5m 1s ppedrot:module-abstract-type
    ppedrot:module-abstract-type
    January 9, 2025 08:34 5m 1s
    Merge pull request #130 from ppedrot/module-expr-type-gadt     Docker CI #116: Commit 32609ca pushed by SkySkimmer
    December 19, 2024 10:19 2m 16s master
    master
    December 19, 2024 10:19 2m 16s
    Adapt w.r.t. coq/coq#19943.     Docker CI #115: Pull request #130 opened by ppedrot
    December 17, 2024 14:26 2m 17s ppedrot:module-expr-type-gadt
    ppedrot:module-expr-type-gadt
    December 17, 2024 14:26 2m 17s
    Adapt to coq/coq#19690 (generic_tactic avoids dependency on ltac(?))     Docker CI #114: Pull request #128 opened by SkySkimmer
    October 15, 2024 10:06 2m 13s SkySkimmer:ltacX-obligations
    SkySkimmer:ltacX-obligations
    October 15, 2024 10:06 2m 13s
    Merge pull request #127 from coq-community/stdlib_repo     Docker CI #113: Commit 992c3a5 pushed by proux01
    September 17, 2024 11:26 2m 43s master
    master
    September 17, 2024 11:26 2m 43s
    Adapt to https://github.com/coq/coq/pull/19530     Docker CI #112: Pull request #127 opened by proux01
    September 17, 2024 09:59 2m 43s stdlib_repo
    stdlib_repo
    September 17, 2024 09:59 2m 43s
    Merge pull request #126 from SkySkimmer/template-univs-dupl     Docker CI #111: Commit 5e9bbe7 pushed by ppedrot
    June 28, 2024 10:10 1m 52s master
    master
    June 28, 2024 10:10 1m 52s
    Adapt to coq/coq#19233 (template_universes don't duplicate level data)     Docker CI #110: Pull request #126 opened by SkySkimmer 2D87
    June 27, 2024 12:58 1m 56s SkySkimmer:template-univs-dupl
    SkySkimmer:template-univs-dupl
    June 27, 2024 12:58 1m 56s
    0