All issues

Search results

Support CI minimization runs (and resumption) that don't provide an error message to match

Status: Open.

#51 In rocq-community/run-coq-bug-minimizer;

· JasonGross opened on Mar 5, 2026

Minimizer should automatically create PRs to test-suite

Status: Open.

#46 In rocq-community/run-coq-bug-minimizer;

· JasonGross opened on Sep 25, 2025

add infrastructure for regression minimization

enhancementNew feature or requestNew feature or request

Status: Open.

#44 In rocq-community/run-coq-bug-minimizer;

· JasonGross opened on Jul 19, 2025

Minimizer fails when coqc loads from the pwd implicitly

Status: Open.

#36 In rocq-community/run-coq-bug-minimizer;

· JasonGross opened on Sep 21, 2024

Minimizer should support auto-resumption on non-CI-cases

Status: Open.

#30 In rocq-community/run-coq-bug-minimizer;

· JasonGross opened on Sep 25, 2023

Non-CI minimization should support minimizing against two versions of Coq using opam switches

Status: Open.

#29 In rocq-community/run-coq-bug-minimizer;

· JasonGross opened on Sep 25, 2023

Should minimization failures be better signposted?

questionFurther information is requestedFurther information is requested

Status: Open.

#27 In rocq-community/run-coq-bug-minimizer;

· JasonGross opened on Sep 2, 2023

Sometimes minimizer does not work

Status: Open.

#25 In rocq-community/run-coq-bug-minimizer;

· JasonGross opened on Jul 30, 2023

Minimizer is rebuilding developments when it probably should not

Status: Open.

#20 In rocq-community/run-coq-bug-minimizer;

· JasonGross opened on Jun 29, 2022

Wrapped binaries should emit information to a file rather than stderr

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In rocq-community/run-coq-bug-minimizer;

· JasonGross opened on Nov 10, 2021

Track uses of bug minimizer for eventual paper

Status: Open.

#8 In rocq-community/run-coq-bug-minimizer;

· JasonGross opened on Jun 21, 2021