nix: Add HOL-Light cross shells #1441
Merged
DCO-2 / DCO
succeeded
Dec 31, 2025 in 1s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 9cb9ec9 | nix: Add HOL-Light cross shells | Valid sign-off found |
Loading