[WIP] fix #6999 (allow [nimDocOnly] in commit msg); fix #13477 (flaky nodejs install); log PR url (+other info) in runCI logs#13556
Closed
timotheecour wants to merge 14 commits intonim-lang:develfrom timotheecour:pr_fix_13477_nodejs_install_flaky_more_logging
+122-15
Commits
Commits on Apr 12, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
