Amos Robinson

icon indicating a website link http://amosr.amospheric.com/ icon indicating an email [email protected]

icon company a large corporation icon location Sydney, Australia icon location post-postdoctoral computer scientist, interested in programming languages, critical systems and tuned percussion

Results 13 comments of Amos Robinson

docker dev container: explicit platform, install pkg-config

I found that I also needed to add this environment variable to get dotnet working: ``` ENV DOTNET_SYSTEM_GLOBALIZATION_INVARIANT=true ``` However, even with these fixes, I still can't get `make ci`...

docker dev container: explicit platform, install pkg-config

Thanks @gebner! I will try it out. (I'm surprised amd64 is slow on Linux, but it's good to know - I assumed most people would be using x86)

Refinement subtypes being discarded

That was an impressively quick diagnosis and fix! Thanks