coq-community/templates

Issues

• Generate a CITATION.cff file

  #129 opened 25 days ago by CohenCyril
  0

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

  #128 opened a month ago by pi8027
  0

• index.html

  #126 opened a month ago by motrellin
  8

• Removing CI action

  #121 opened 9 months ago by ybertot
  1

• Support for Gitlab and others

  #113 opened 2 years ago by ana-borges
  4

• Moving away from mustache

  #95 opened 3 years ago by Zimmi48
  6

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

  #114 opened 2 years ago by kyoDralliam
  1

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

  #85 opened 4 years ago by strub
  5

• Nix CI workflow failure on Coq master with old template

  #109 opened 3 years ago by palmskog
  4

• Failing simple Nix workflow for scheduled jobs

  #103 opened 3 years ago by palmskog
  1

• coq-community projects still referencing legacy Nix infrastructure.

  #102 opened 3 years ago by Zimmi48
  1

• Support specifying system packages to install in Docker

  #41 opened 4 years ago by palmskog
  6

• Handling of `chat` for coq-community projects

  #98 opened 3 years ago by chdoc
  0

• adding support for nighty and weekly builds for CI based on GitHub actions

  #77 opened 3 years ago by chdoc
  8

• CircleCI with ARM

  #96 opened 3 years ago by liyishuai
  0

• Do not display auto-generated files in GitHub PR diffs

  #71 opened 4 years ago by Zimmi48
  1

• Change all references to Gitter chat to Zulip chat

  #40 opened 4 years ago by palmskog
  6

• Potential issue with YAML variables containing dashes

  #14 opened 4 years ago by erikmd
  7

• Document the project metadata format

  #24 opened 5 years ago by palmskog
  2

• Adding `default.nix`

  #45 opened 4 years ago by CohenCyril
  5

• Should we have recommended project structure?

  #73 opened 4 years ago by anton-trunov
  8

• All generated file should mention they were generated

  #84 opened 4 years ago by CohenCyril
  4

• Document that the Travis template is deprecated

  #79 opened 4 years ago by palmskog
  5

• provide a curated shortlist of `meta.yml` files that serve as good starting points.

  #78 opened 4 years ago by chdoc
  3

• Allow build status in README.md for other branches than master

  #55 opened 4 years ago by palmskog
  2

• Listing "contributors" in README.md

  #66 opened 4 years ago by chdoc
  0

• generate.sh should be robust to incorrect YAML files.

  #42 opened 4 years ago by Zimmi48
  0

• Coq namespace should be optional in README.md template

  #53 opened 4 years ago by palmskog
  3

• Potential improvements to generate.sh

  #36 opened 4 years ago by liyishuai
  10

• Templating/files related to extracted lead to duplication

  #63 opened 4 years ago by palmskog
  1

• Documentation of all templates

  #65 opened 4 years ago by palmskog
  0

• Gitlab mirror of this repo is stale

  #68 opened 4 years ago by Blaisorblade
  1

• Dune support in OPAM template

  #38 opened 4 years ago by palmskog
  0

• allow specifying the Docker repo for 'tested_coq_opam_versions' for use in config.yml coq-action.yml

  #58 opened 4 years ago by chdoc
  3

• CI check generated files

  #62 opened 4 years ago by liyishuai
  1

• Support for alternative Docker images in Travis

  #39 opened 4 years ago by palmskog
  0

• License this repository

  #34 opened 4 years ago by liyishuai
  12

• README: clone submodules

  #50 opened 4 years ago by liyishuai
  0

• Adding optional listing of former project maintainers and displaying them in README

  #51 opened 4 years ago by palmskog
  0

• Link to coqdoc in index.md

  #47 opened 4 years ago by liyishuai
  0

• Support using mathcomp images for CI

  #44 opened 4 years ago by chdoc
  4

• CircleCI template

  #1 opened 4 years ago by liyishuai
  12

• generate.sh not compatible with macOS

  #29 opened 4 years ago by liyishuai
  0

• `shortname` is overloaded

  #31 opened 4 years ago by liyishuai
  1

• documentation on meta.yml

  #19 opened 4 years ago by gmalecha
  4

• gitlab-ci template?

  #25 opened 4 years ago by gmalecha
  3

• Template for default.nix

  #9 opened 4 years ago by anton-trunov
  19

• Issue with opam build using the template

  #22 opened 4 years ago by Zimmi48
  4

• Add `version: "dev"` to opam template and coq-community repos

  #21 opened 4 years ago by anton-trunov
  1

• Propagating changes from meta.yml to README, opam, etc. should be easier

  #20 opened 5 years ago by anton-trunov
  5