Alexander Richardson

Is this still needed?

I guess we could also default to starting it with password auth so that the macOS builtin VNC viewer works?

> I don't think the CI failure is my fault, as it shows up in #311, too. It looks like [df90883](https://github.com/CTSRD-CHERI/cheribuild/commit/df90883bdc2ef8f726d4e8fbd5abdf1a2da79e51) removed the `# noinspection PyTypeChecker` directive from `add_bool_option` when...

`bash` should not be required, where are you seeing this error? However, you are correct that mercurial is a new dependency for GDB12 since we now build libgmp and there...

I believe this should be fixed.

This sounds like you still have QEMU running in another terminal instance? QEMU can't start since the port it is trying to open is already used. If you want to...

@jrtc27 thanks, I'll try to add that to the "run-*" targets.

I don't think pexpect spawns processes using a shell so it can't be an alias. I should definitely add a --vivado-cmd option. Would that help?

Ah nice, I didn't know about that one.

Also just ran into this issue. Simpler reduced testcase: ```py class Foo: _var: int | None def set(self, arg: int | None): self._var = arg def get(self) -> int: if...