Passed
Pull Request — main (#59)
by Peter
01:10
created

No notable changes

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

8.38
▶   ± 0
Head
Peter Bittner  
Merge 56cc8d0d7c883538e5670300f61e4d645207a5ec into ffab6a690fbd52cbc972dadea77b39fc9100670d
1 more commit
Base
Peter Bittner  
Use pipeline status badges by GHA directly