4 Commits

Author	SHA1	Message	Date
Ning Sun	efee2480d2	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 ci: update develop ci update ci to the version in 121ec7936f on main branch	2025-01-23 15:15:52 +08:00
Ning Sun	4b2c59e626	ci: update nix setup (#5272)	2025-01-04 02:12:27 +08:00
Ning Sun	55b0022676	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-20 14:12:19 +08:00
Ning Sun	34fbe7739e	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-20 14:12:19 +08:00