mirror of
https://gitlab.computer.surgery/matrix/grapevine.git
synced 2025-12-16 15:21:24 +01:00
use all-features devshell for clippy/all in CI
Without this, we're building a static rocksdb inside the rust-rocksdb build script every time. As far as I know this doesn't change clippy's behavior, but it does take a *long* time.
This commit is contained in:
parent
fa48c48d52
commit
467417c32a
3 changed files with 11 additions and 8 deletions
2
.envrc
2
.envrc
|
|
@ -1,6 +1,6 @@
|
|||
#!/usr/bin/env bash
|
||||
|
||||
use flake
|
||||
use flake ".#${DIRENV_DEVSHELL:-default}"
|
||||
|
||||
PATH_add bin
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue