Kaspar Schleiser

regression around `Inconsistent implicit qualifiers (did not expect argument aquals)`

4

Hi, our [CI just broke](https://github.com/kaspar030/RIOT-rs/actions/runs/9643192808/job/26593002905) on unchanged code: ``` /home/runner/.nix-profile/bin/fstar.exe fstar.exe --cmi --warn_error -331-321-274 --cache_checked_modules --cache_dir .cache --already_cached "+Prims+FStar+LowStar+C+Spec.Loops+TestLib" --include "/nix/store/18l7w674px4kwazy5ip88yxqskwlcwxc-source"/lib --include "/nix/store/1hnjzj74rsk1g80pkq3jhvs7qg6mkfy2-fstar"/rust_primitives --include "/nix/store/1hnjzj74rsk1g80pkq3jhvs7qg6mkfy2-fstar"/core --include "/nix/store/vss9b7rkwgv7wxk4xxzh3q481iq5vimf-hax-lib"/proofs/fstar/extraction --admit_smt_queries true Riot_rs_runqueue.Runqueue.fst...

tracking: Towards full LLVM (no gnu toolchain) builds

8

#### Description Currently, RIOT has limited LLVM support - it allows compiling with LLVM. Linking is still using the gnu toolchain. Also, our libcs (newlib, picolibc) are gcc compiles, and...

### Describe the bug Our CI fails with this on some PRs: ``` Run cargo binstall --no-confirm --no-discover-github-token --force cargo-deny INFO resolve: Resolving package: 'cargo-deny' WARN The package cargo-deny v0.16.1...

The current resolver is quite fast, but has a couple of quirks: 1. it is order dependent, which is sometimes surprising and sometimes just doesn't find usable solutions 2. it...

feat!: implement must_provide

1

This is an experimental draft making it possible to add a hard dependency (and `help`) to all providers of a provided name, by a) making a module with the provided...

allow disabling warnings for missing thresholds

3

I'm suddenly getting huge warnings for a missing threshold, e.g., here: https://github.com/kaspar030/laze/pull/553#issuecomment-2467960991 I did specifically not set one up as github's workers are too inconsistent to provide meaningful results (I...

feat: recreate idle runners on pool image update

5

IIUC, if a pool image is updated (`garm-cli pool update $POOL_ID --image=${TARGET_IMAGE}`), already running runners are not recreated, at least if the image has the same name. It would be...

fix: pass `--config=...` to `cargo metadata` call

1

[We](https://ariel-os.org)'re using `--config` to pass crates.io patches to Cargo. While `cargo-bloat` does pass that through to `cargo build`, it does not to `cargo metadata`. Cargo needs our patches, otherwise there...