Searched full:github_env (Results 1 – 3 of 3) sorted by relevance
22 php .github/release.php current >> $GITHUB_ENV55 php .github/release.php current >> $GITHUB_ENV
53 >> $GITHUB_ENV
65 // output to be piped into GITHUB_ENV127 // output to be piped into GITHUB_ENV