Check that Nix files are formatted

Improve dafny packaging #132446

Sign in to view logs

Summary
Jobs
- nixfmt-check
Run details
- Usage
- Workflow file

Triggered via pull request December 2, 2024 09:55

layus

synchronize #300009

Status Success

Total duration 53s

Artifacts –

check-nix-format.yml

on: pull_request_target