Skip to content

Merge pull request #14 from JeromeSchmied/ci #57

Merge pull request #14 from JeromeSchmied/ci

Merge pull request #14 from JeromeSchmied/ci #57

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

succeeded Oct 22, 2024 in 33s