Agustín Mista

Results 9 comments of Agustín Mista

Thanks for the feedback. I will give it a try as soon as I get some free time. In the meantime, do you have any example implemented using the TestManager...

This would be very handy! I'm hosting ntfy using the Docker image and the only way I found to set up user authentication was by attaching a shell to the...

Just reporting that I'm having the same issue on LaTeX.

Hi @Bodigrim! I agree that it would be better to implement this feature as a custom ingredient. I will close this PR.

That's an interesting feature I'd like to add sooner or later. By digging a little bit in the docs I've found that it could be done using [webViewSearchText](https://hackage.haskell.org/package/webkitgtk3-0.14.2.1/docs/Graphics-UI-Gtk-WebKit-WebView.html#v:webViewSearchText). I don't...

Right, this seems to be a limitation of Electron registering some shortcuts for itself. Perhaps it can be disabled programmatically, I will look into that. On a side note, I...

FTR: https://github.com/IntersectMBO/ouroboros-consensus/pull/1742 targeting `peras-staging` disables EBB generation entirely when k>2.

Thanks both @tinder-maxwellelliott and @alex-torok for the quick reply! 😃 > If a target wasn't directly changed and it has no changed dependencies, then what changed it??? Indeed a good...

We think we found the issue: computing distance metrics seems to be incompatible with filtering generated hashes with `--targetType`. We were filtering targets by `--targetType=Rule`, and the missing one in...