Completed
Pull Request — develop (#1635)
by
unknown
01:02 queued 42s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
dependabot[bot]  
Merge 6ac2468172304fa7027c821fa87d45e4c7e232c4 into 78c9e0dbeba3624871fec042fa8eefe8144f38f9
1 more commit
Base
Christian Münch  
build: use Ubuntu 22.04 for platform tests