Pop comments

Results 30 comments of

Pop

manual proof mode should never result in a state where "There are no more subgoals" but Qed claims there are remaining open goals

Oh nevermind, just found out . The problem is solved by removing `vsrocq.proof.delegation` from my config.

Start and stop don't work

> Update: I downgraded to 0.4.6 and it works. I'm not using Qbittorrent v5 because my package manager only has v4. It would be useful to have a `v4` feature...

content_layout in AddTorrentArg::builder()

Are you interested in creating a PR? PR's are always welcomed.

When running on arm64 (orangepi), the program will crash without any abnormal output.

Thanks for the report! However I'm no longer actively maintaining the project since I no longer need proxies. Feel free to submit a PR tho, I'll review

feature:custom keymap

Thanks! However I'm no longer actively maintaining the project since I no longer need proxies. Feel free to submit a PR tho, I'll review.

Adding support for other runtimes to grammers-client?

Hi. Thanks for responding. Runtime agnostic is always what we are trying to achieve with compio. I have attempted to create a runtime abstraction for grammers. However during the process...

Tracking issues of integration `unftp-sbe`

Sure. I'll add the README and examples.

Tracking issues of integration `unftp-sbe`

How should the CI part be done? @Xuanwo

Tracking issues of integration `unftp-sbe`

All tasks have been done. Should we close the issue?

I'm thinking of a more generic way of exposing request details to user. What about a `Request` object that implements `IntoFuture`? And user can use it like: ```rust qb.call_some_api() .map_request(|r|...