Passed
Pull Request — master (#75)
by Michael
03:11 queued 45s
created

No notable changes

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

9.48
▶   ± 0
Head
Christian Albrecht  
Merge 2b29d17f5ebd4c8c8e346a9d63fc5a23f77a1cba into fb6e08581522bc33e926d63c7f97f14d7c4788b3
1 more commit
Base
Christian Albrecht  
Include php80 in github workflow