Pieter De Gendt

Results 105 comments of Pieter De Gendt

@fouge do you plan to come back to this, and update the PR towards a new `-t` flag as suggested?

> It feels like to be consistent with the existing commands, a `--mp, --manifest-path` option would be a good fit? PRs are welcome 😊

> @kartben unrelated to this PR, but, could we make header less cluttered? > > ![image](https://private-user-images.githubusercontent.com/25011557/377771905-7ee8a02f-1a2b-4e4e-b27b-a0ecf90f541e.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MjkyMzgxMzIsIm5iZiI6MTcyOTIzNzgzMiwicGF0aCI6Ii8yNTAxMTU1Ny8zNzc3NzE5MDUtN2VlOGEwMmYtMWEyYi00ZTRlLWIyN2ItYTBlY2Y5MGY1NDFlLnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDEwMTglMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQxMDE4VDA3NTAzMlomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPWQ3YTM3ZTc1YmU5M2RkOWMxNDMzYTgyNDk2MWQ1YzJjOTFiN2UxN2FhYTM3NmZmZjU5MGI4NzRkM2IxM2JlOGEmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0In0.2vtGlQZoV5A2G966E1SGYSvYUs9RdkhlwurRC8urtsU) The "Open on github" and "Report an issue with this page" could simply be...

> Hi, Thanks for the change. However, I wouldn't agree with changing dependency versions compared to what we describe in requirements.txt files. There should be a single source of dependencies...

> I wouldn't be against trying to be more flexible in this question Great! > * Dependency version numbers should be maintained in `requirements.txt` files only. I wouldn't think that...

> There are many other files, too. Otherwise the change looks fine. Thank you! Sure, didn't know it was good if I touched all those files, instead of the ones...

> Normally you pin ci versions, but not the package versions. Exactly, moreover you pin using hashes to avoid tampered versions. > Now it occurred that an automatic upgrade of...

@bruntib any more feedback on this? I often need to uninstall CodeChecker because it forces versions of dependencies for an entire environment, which isn't ideal. Projects should pin in CI...

> pypi now features 6.25.1 Sure, but that isn't what this issue is about, but rather updating workflows to automate things. I think it would help the project to make...