Skip to content

Merge pull request #1269 from jakob-keller/pin-ubuntu-in-ci #222

Merge pull request #1269 from jakob-keller/pin-ubuntu-in-ci

Merge pull request #1269 from jakob-keller/pin-ubuntu-in-ci #222

Build distribution 📦

succeeded Jan 18, 2025 in 13s