tools: add some options and comments to `shell.nix` #53846

Triggered via pull request December 1, 2025 13:21

aduh95

synchronize #60911

Status Success

Total duration 1m 45s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size	Digest
docs	5.55 MB	`sha256:5b5981027d342e9db1f1ed11a304359a797c72c55fe3c8a5cd58ea33482e9742`