You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As suggested by @F-WRunTime, we should make kontrol.toml with all possible options available and downloadable with CURL. One way to do it is to add it, e.g., under docs, and curl it during kontrol init.
The text was updated successfully, but these errors were encountered:
Could we also include that the XML report generation is done by default?
Could we have a couple options of configuration file definitions or at least just one containing a set of kontrol build / prove commands thats a likely best fit for all most users
Fair, I think we can do both, thanks @F-WRunTime! We can probably list all options in kontrol.toml in the docs/generated by default, and set the options to be the likely best fit, as you suggested. I'll try to get it done next week!
As suggested by @F-WRunTime, we should make
kontrol.toml
with all possible options available and downloadable with CURL. One way to do it is to add it, e.g., under docs, and curl it duringkontrol init
.The text was updated successfully, but these errors were encountered: