Feedback about the CI minimizer

JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.

Thanks for taking time to share your feedback on the CI minimizer. We only have a few questions to ask. This should take you less than 2 minutes to answer. We will use the aggregated results in an upcoming academic paper.

Please fill in a different answer for each use of the CI minimizer in a different pull request, thanks!

Jason Gross, Théo Zimmermann and Adam Chlipala

Pull request number where the CI minimizer was used *

Are you the author of the pull request? *

Yes

Did you trigger the CI minimizer on this pull request yourself? *

Yes

Is this the first time that you've used the CI minimizer?

Yes

Clear selection

Was the CI minimizer run on this pull request useful to you? *

Very useful

Somewhat useful

Not useful

Did the output of the CI minimizer help you to understand the impact of the pull request on external projects?

Yes

Clear selection

(Before reading this question) did you use the output of the CI minimizer on this pull request to extend the test suite of Coq?

Yes

No (and I didn't plan to do so)

Not yet (but I planned to do so)

Clear selection

If not, can you tell us why?

Do you have more feedback that you'd like to share with us?

Submit

Clear form

Never submit passwords through Google Forms.

This content is neither created nor endorsed by Google. Report Abuse - Terms of Service - Privacy Policy

Forms