Search results

the template should allow for depending on rocq instead of coq

Status: Open.

#142 In rocq-community/templates;

· ybertot opened on Feb 13, 2026

Generate a CITATION.cff file

Status: Open.

#129 In rocq-community/templates;

· CohenCyril opened on Jun 5, 2024

Filter for the run-test: field of the OPAM file

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#128 In rocq-community/templates;

· pi8027 opened on Jun 4, 2024

index.html

questionFurther information is requestedFurther information is requested

Status: Open.

#126 In rocq-community/templates;

· motrellin opened on May 17, 2024

generate.sh should error gracefully when meta.yml does not exist

Status: Open.

#114 In rocq-community/templates;

· kyoDralliam opened on Feb 17, 2022

Support for Gitlab and others

Status: Open.

#113 In rocq-community/templates;

· ana-borges opened on Feb 15, 2022

coq-community projects still referencing legacy Nix infrastructure.

Status: Open.

#102 In rocq-community/templates;

· Zimmi48 opened on Aug 10, 2021

Handling of chat for coq-community projects

Status: Open.

#98 In rocq-community/templates;

· chdoc opened on Apr 23, 2021

CircleCI with ARM

Status: Open.

#96 In rocq-community/templates;

· liyishuai opened on Apr 6, 2021

Moving away from mustache

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

questionFurther information is requestedFurther information is requested

Status: Open.

#95 In rocq-community/templates;

· Zimmi48 opened on Apr 4, 2021

The documentation should point to working mustache reference implementation for (at least) the major OS.

Status: Open.

#85 In rocq-community/templates;

· strub opened on Dec 8, 2020

Do not display auto-generated files in GitHub PR diffs

enhancementNew feature or requestNew feature or request

Status: Open.

#71 In rocq-community/templates;

· Zimmi48 opened on Jul 25, 2020