ci: Replace nix-shell with equivalent nix develop command #223

1. 
   ryanofsky commented at 7:17 pm on October 2, 2025: collaborator

   Functionality is the same, this just shows nicer status information when building locally. (For even nicer status information you can install nix-output-monitor and replace “nix develop” with “nom develop”)
2. ci: Replace nix-shell with equivalent nix develop command

   Functionality is the same, this just shows nicer status information when
   building locally. (For even nicer status information you can install
   nix-output-monitor and replace "nix develop" with "nom develop")

   18a2237a8e
3. 
   DrahtBot commented at 7:17 pm on October 2, 2025: none

   The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

   Reviews

   See the guideline for information on the review process.

   Type	Reviewers
   ACK	TheCharlatan

   If your review is incorrectly listed, please react with 👎 to this comment and the bot will ignore it on the next update.

   Conflicts

   No conflicts as of last run.

4. TheCharlatan approved
5. 
   TheCharlatan commented at 1:23 pm on November 4, 2025: collaborator

   ACK 18a2237a8ef4129c477301ad567baa524aaa231e
6. ryanofsky merged this on Nov 6, 2025
7. ryanofsky closed this on Nov 6, 2025

   ---

Contributors
ryanofsky DrahtBot TheCharlatan