Ning Sun
121ec7936f
ci: do not collect coverage from pull request any more ( #5364 )
...
* ci: do not collect coverage from pull request any more
* fix: disable toolchain cache
2025-01-15 09:33:49 +00:00
Ning Sun
3b27adb3fe
ci: update nix setup ( #5272 )
2025-01-03 03:13:04 +00:00
Ning Sun
2107737db1
chore: make nix compilation environment config more robust ( #5183 )
...
* chore: improve nix-shell support
* fix: add pkg-config
* ci: add a github action to ensure build on clean system
* ci: optimise dependencies of task
* ci: move clean build to nightly
2024-12-18 12:41:24 +00:00
Ning Sun
acedff030b
chore: add nix-shell configure for a minimal environment for development ( #5175 )
...
* chore: add nix-shell development environment
* chore: add rust-analyzer
* chore: use .envrc as a private file
2024-12-16 11:47:18 +00:00
