Searched full:github_env (Results 1 – 4 of 4) sorted by relevance
101 echo "CRASHED=$CRASHED" >> $GITHUB_ENV176 echo "CRASHED=$CRASHED" >> $GITHUB_ENV332 echo "CRASHED=$CRASHED" >> $GITHUB_ENV395 echo "CRASHED=$CRASHED" >> $GITHUB_ENV
82 echo "CRASHED_RCP=$CRASHED" >> $GITHUB_ENV115 echo "CRASHED_TUN=$CRASHED" >> $GITHUB_ENV
188 echo "FIREWALL=0" >> $GITHUB_ENV
281 echo "CRASHED_CLI=$CRASHED" >> $GITHUB_ENV
