Timothée Andres
Timothée Andres
In our project, a function definition calls a lemma to prove that it is consistent. However, this lemma calls the function back to compute some result, but Stainless does not...
Currently using `whatdaybob/sonarr_youtubedl:dev` from docker, I have an issue with the title regex in the configuration. I checked, and the same issue is present in `main`. I would like to...
Version used: dev When Sonarr finds new episodes to download, sonarr_youtubedl does not know about them until I restart it. Here's a log excerpt: ``` 2022-06-04 09:06:07,662 - sonarr_youtubedl -...
Hello! In utils.py, we have the following lines: https://github.com/whatdaybob/sonarr_youtubedl/blob/49cb1372be1839e723989ca260bea5731c14ee21/app/utils.py#L23-L24 But it does not seem to be the case. Here is an example: ``` $ youtube-dl --flat-playlist --get-title https://www.youtube.com/playlist?list=PLUnS6VWqJBaZqq_emLdwdCwU7O7RDEyxW My Little...
**What tool do you want?** I would like to have a tool to generate a barcode. **Describe the solution you'd like** I would imagine a web page to generate a...
Instead of relying only on categories and tags, this allows users to specify their own partials, and for the given taxonomies, to generate them in the footers of posts. Now,...
## Description The 404 page's content and the footer in mobile layout were not animated with the rest of the elements if animations are not disabled. ### Checklist Yes, I...
## Description Instead of relying on a custom CSS file, it would be nice to have access to the theme data in custom SCSS. Just create `custom.scss` in `assets/scss` and...