Merge pull request #13619 from aparcar/no-circle
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Fri, 26 Apr 2024 08:47:43 +0000 (10:47 +0200)
committerGitHub <noreply@github.com>
Fri, 26 Apr 2024 08:47:43 +0000 (10:47 +0200)
commit6d5e404a0c365763484929adfd1434e44dbb4339
tree1dbb9b51a16569c0f8f9784f7ef51111376eb902
parent8b08b29271e9f8d26ce8d337ffb4261ea8a25914
parent26c101edc3e918be4fbfe76b3514d1c8398f7d31
Merge pull request #13619 from aparcar/no-circle

CI: remove CircleCI for now