Completed
Pull Request — master (#1829)
by Zatreanu
01:34
created

Changes

A B coalib.misc.decorator() got worse
B A coalib.results.LineDiff.change() improved
A B coalib.main() got worse
8.89
▶   ± 0
Head
Zatreanu Adrian-Gabriel  
Merge a06bfc4ffaa53824f8e1750afab3a5f8d185bdcc into 646561d169504ae4092a74f2bee4dbec30e6c7cb
3 more commits
Base
Makman2  
CI: Don't silence commandos