Philipp Joram

# Problem `cargo outdated` fails to run when a project specifies a custom [target file](https://docs.rust-embedded.org/embedonomicon/custom-target.html): ``` error: target path "/tmp/cargo-outdated2acTI1/x86_64-custom.json" is not a valid file Caused by: No such file...

AssertionError: The key is encoded with an unknown format (1, 2, 840, 113549, 1, 5, 13)

2

I'm trying to import my passwords from `chromium`, but get hit by the following error: ``` $ ffpass import --file '/tmp/Chrome Passwords.csv' -d ~/.mozilla/firefox/.default Traceback (most recent call last): File...

In a project we are building, we use `RobustConnection`s to have a reliable way of reestablishing dropped connections. This works great, but sometimes we'd like still like to drop a...

Support building Multiboot-ROMs

5

I'm currently dabbling with the GBA's support for loading ROMs from serial (i.e. [multibooting](http://problemkaputt.de/gbatek.htm#biosmultibootsinglegamepak)). To build a Multiboot ROM, one must put `.text` and `.rodata` into ~~IWRAM~~ EWRAM (with the...

Add `@verbosity_option` decorator

1

Hi, I use `click_log` for an application with many logger instances, each of which outputs a lot of debug information. To make debugging a single component easier, I implemented a...

Fix broken testsuite

1

While working on some feature, I noticed that the testsuite is kind of broken. In particular, in the absence of a working Neovim, all the tests would magically pass. This...

Currently, the Nix CI job builds Agda and the Cubical library, but throws away all the results once done typechecking. I suggest it is worth investigating whether these artifacts could...

Loading an Agda module in a read-only file (such as one in a system location) fails with the following error: ``` ErrorResult vim_command (ObjectArray [ObjectInt 0,ObjectString "Vim(write):E45: 'readonly' option is...

I've had these commits lying around locally for a while. I've attempted to fix the testsuite when running it under Nix, especially by ensuring that both `nvim` and `agda` are...

While we try to reestablish connections only at a "low" rate (default: every 30s), we should limit the total amount of connection retries. If a client fails too many reconnect...