Skip to content

Merge pull request #1530 from cachix/docs-fix-more-defaults #3098

Merge pull request #1530 from cachix/docs-fix-more-defaults

Merge pull request #1530 from cachix/docs-fix-more-defaults #3098

lean4 (macos-13)

succeeded Oct 16, 2024 in 6m 19s