Alex Chew comments

Repositories
Issues
Comments

Results 4 comments of


                                            Alex Chew

config wizard does not work if ~/.config/git/config contains include statements

@guyzmo Ah, that was me; thanks for the quick response! Configuring with `git repo config` and then using the `extract_config` script worked well. I had been trying to use something...

Wrong package configuration file for aws-c-common

Hi @KaibaLopez, any updates on this? I'm able to use a workaround on the aws-encryption-sdk-c side [1], but it's preferable if the aws-sdk-cpp fixes the root cause. [1] https://github.com/aws/aws-encryption-sdk-c/issues/719

fix: compute bastion variants correctly for 1.16.1

Thanks, glad to hear it!

Model parsing error on Windows

Hi @croizier, can you also share which version of Z3 you're running (in both the Windows and Ubuntu environments)?