Project

General

Profile

Actions

Bug #8014

closed

Bug #8012: Script check-techniques.sh fails on first error

Script check-techniques.sh fails on first error

Added by Benoît PECCATTE over 8 years ago. Updated over 8 years ago.

Status:
Released
Priority:
N/A
Assignee:
Jonathan CLARKE
Category:
Techniques
Target version:
Severity:
UX impact:
User visibility:
Effort required:
Priority:
Name check:
Fix check:
Regression:

Description

check-techniques.sh fails and stop at the first error, meaning that we need to run it multiple time, fixing the issue one after the other, rather than having a list of everything that is wrong and correct them at one
This makes the process tedious and error prone (I had to redo a lot of PRs because of that)

Actions

Also available in: Atom PDF