zenntenn

C-c C-l has to be invoked twice before everything runs properly

2

The first time I use C-c C-l on any .idr file it loads up a buffer for Idris, but does not load it. Then if I do C-c C-l again...

Can't build network library on Windows

10

Using Idris 1.3.2, and msys64, on Windows 10. I was able to resolve the issues in https://github.com/edwinb/Idris2/issues/41, but now I'm getting stuck on the `make network` step, after completing `make...

FlaUI.UIA2 cannot find UIAutomationClient when running on headless build agent

2

**Describe the bug** When trying to run automation for FlaUI.UIA2 package version 4.0.0 on a self-hosted Azure DevOps build agent I get the error: System.IO.FileNotFoundException : Could not load file...