Skip to content

Merge pull request #1580 from cachix/container-usr-bin #3175

Merge pull request #1580 from cachix/container-usr-bin

Merge pull request #1580 from cachix/container-usr-bin #3175

lean4 (macos-13)

succeeded Nov 8, 2024 in 8m 12s