issues
search
coq-community
/
run-coq-bug-minimizer
Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]
MIT License
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
argument parsing loses the final argument when it is the empty string
#37
JasonGross
closed
1 month ago
11
Minimizer fails when coqc loads from the pwd implicitly
#36
JasonGross
opened
1 month ago
19
Adjust base-dir to be based on pwd
#35
JasonGross
closed
1 month ago
3
Bump coq-community/docker-coq-action from 1.4.1 to 1.5.0
#34
dependabot[bot]
closed
5 months ago
0
Comments should directly link to output artifacts
#33
JasonGross
closed
9 months ago
0
Bump actions/upload-artifact from 3 to 4
#32
dependabot[bot]
closed
10 months ago
1
Minimizer: post end of reduced file when too large
#31
JasonGross
closed
1 year ago
3
Minimizer should support auto-resumption on non-CI-cases
#30
JasonGross
opened
1 year ago
0
Non-CI minimization should support minimizing against two versions of Coq using opam switches
#29
JasonGross
opened
1 year ago
0
Bump actions/checkout from 3 to 4
#28
dependabot[bot]
closed
1 year ago
0
Should minimization failures be better signposted?
#27
JasonGross
opened
1 year ago
2
Strip -time-file
#26
JasonGross
closed
1 year ago
0
Sometimes minimizer does not work
#25
JasonGross
opened
1 year ago
4
Test issue creation 3
#24
JasonGross
closed
1 year ago
47
Test Issue Creation 2
#23
JasonGross
closed
1 year ago
44
Bump coq-community/docker-coq-action from 1.4.0 to 1.4.1
#22
dependabot[bot]
closed
1 year ago
0
Timeout continuation message should not suggest adding file to test suite
#21
JasonGross
closed
1 year ago
0
Minimizer is rebuilding developments when it probably should not
#20
JasonGross
opened
2 years ago
0
Bump coq-community/docker-coq-action from 1.3.1 to 1.4.0
#19
dependabot[bot]
closed
2 years ago
0
Also pass `--passing-coqtop`
#18
JasonGross
closed
2 years ago
0
Bump coq-community/docker-coq-action from 1.2.4 to 1.3.1
#17
dependabot[bot]
closed
2 years ago
0
Bump coq-community/docker-coq-action from 1.2.4 to 1.3.0
#16
dependabot[bot]
closed
2 years ago
1
Bump actions/upload-artifact from 2 to 3
#15
dependabot[bot]
closed
2 years ago
1
Bump actions/checkout from 2 to 3
#14
dependabot[bot]
closed
2 years ago
0
bug minimizer comment should automatically tag @JasonGross whenever something goes wrong (when the file is not fully minimized or minimization fails)
#13
JasonGross
closed
1 year ago
1
Bump coq-community/docker-coq-action from 1.2.2 to 1.2.4
#12
dependabot[bot]
closed
2 years ago
1
Wrapped binaries should emit information to a file rather than stderr
#11
JasonGross
opened
2 years ago
0
Don't absolutize file name before passing to Coq
#10
JasonGross
closed
3 years ago
0
Add survey to coqbot response
#9
JasonGross
closed
3 years ago
4
Track uses of bug minimizer for eventual paper
#8
JasonGross
opened
3 years ago
2
Support ci-metacoq
#7
JasonGross
closed
3 years ago
1
Support CI minimization resumption
#6
JasonGross
closed
3 years ago
0
Bug minimizer should not error with OS errors
#5
JasonGross
closed
3 years ago
51
[DO NOT MERGE] Example commit for coqbot triggering a CI minimization
#4
JasonGross
closed
3 years ago
0
[DO NOT MERGE] Example for running with two coqs
#3
JasonGross
closed
4 years ago
0
Test issue creation
#2
JasonGross
closed
4 years ago
148
Missing new lines in reply messages.
#1
jtcoolen
closed
4 years ago
9