Passed
Pull Request — main (#115)
by
unknown
05:05
created

No notable changes

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

9.03
▶   ± 0
Head
Jakob Stender Gulberg  
Merge eabfe28b01ed6e0276c5c35950b207e5d9c7263e into 20a5f9337d98ee1c3a5645605eadcd1957289ca2
1 more commit
Base
Peter Bittner  
Update GH actions