-
Notifications
You must be signed in to change notification settings - Fork 15
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#355 In rocq-prover/bot;
Minimizer uses outdated failed job instead of successful retry for dependency artifacts
bugSomething isn't workingSomething isn't workingStatus: Open.#353 In rocq-prover/bot;[feature] minimizer should support regression minimization
enhancementNew feature or requestNew feature or requestStatus: Open.#346 In rocq-prover/bot;[wish] hide messages that are just orders to the bot
enhancementNew feature or requestNew feature or requestStatus: Open.#342 In rocq-prover/bot;Recent issue when pushing status check
bugSomething isn't workingSomething isn't workingStatus: Open.#339 In rocq-prover/bot;Confusion between stdlib and stdlib-flambda when it fails
bugSomething isn't workingSomething isn't workingStatus: Open.#335 In rocq-prover/bot;Issues are sometimes closed multiple times, triggering the bot as many times.
bugSomething isn't workingSomething isn't workingStatus: Open.#334 In rocq-prover/bot;coqbot should not add "needs: full ci" after trivial rebase
enhancementNew feature or requestNew feature or requestStatus: Open.#327 In rocq-prover/bot;wish: answer to
@rocqbotenhancementNew feature or requestNew feature or requestStatus: Open.#325 In rocq-prover/bot;Mask secret data in all logging functions
enhancementNew feature or requestNew feature or requestStatus: Open.#323 In rocq-prover/bot;Minimizer on issues should be able to compare coq versions
enhancementNew feature or requestNew feature or requestStatus: Open.#301 In rocq-prover/bot;coqbot should be able to add reactions rather than just posting comments (e.g., for minimization)
enhancementNew feature or requestNew feature or requestStatus: Open.#300 In rocq-prover/bot;