Motivation: We should better use seperate workflows for PR and normal builds Modifications: - Split workflows - Better cache reuse Result: Cleanup
16 lines
233 B
Bash
Executable File
16 lines
233 B
Bash
Executable File
#!/bin/bash
|
|
|
|
if [ "$#" -ne 1 ]; then
|
|
echo "Expected build log as argument"
|
|
exit 1
|
|
fi
|
|
|
|
if grep -q 'LEAK:' $1 ; then
|
|
echo "Leak detected, please inspect build log"
|
|
exit 1
|
|
else
|
|
echo "No Leak detected"
|
|
exit 0
|
|
fi
|
|
|