Skip to content

Merge pull request #20 from JeromeSchmied/ci #69

Merge pull request #20 from JeromeSchmied/ci

Merge pull request #20 from JeromeSchmied/ci #69

build (ubuntu-latest, x86_64-unknown-linux-gnu)

succeeded Nov 18, 2024 in 9s