-
Notifications
You must be signed in to change notification settings - Fork 5
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#106 In rocq-prover/docker-opam-action;
- Status: Open.#105 In rocq-prover/docker-opam-action;
- Status: Open.#104 In rocq-prover/docker-opam-action;
Docker versions disappearing regularly?
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#97 In rocq-prover/docker-opam-action;ProblemMatchers sometimes ignores some (multi-line) warnings
bugSomething isn't workingSomething isn't workingStatus: Open.#94 In rocq-prover/docker-opam-action;- Status: Open.#88 In rocq-prover/docker-opam-action;
Git issue with coqorg/coq:dev
bugSomething isn't workingSomething isn't workingStatus: Open.#86 In rocq-prover/docker-opam-action;Add support to build
.opamfile usingdunequestionFurther information is requestedFurther information is requestedStatus: Open.#83 In rocq-prover/docker-opam-action;Documentation of export is misleading
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#77 In rocq-prover/docker-opam-action;- Status: Open.#70 In rocq-prover/docker-opam-action;
docs: Mention the typical header of build.yml
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#67 In rocq-prover/docker-opam-action;Task: Refine the doc for PR #27
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#66 In rocq-prover/docker-opam-action;