Passed
Pull Request — main (#54)
by Peter
01:18
created
8.36
▶   ± 0
Head
Peter Bittner  
Merge 03bc88973a3feec7b7909907d41eb820bc1f51bf into 002c085f00a566fd0692a2d0a2b56b749862712b
7 more commits
Base
Peter Bittner  
Verify that mandatory arguments are requested