chore: merge main to develop

This commit is contained in:
Rado 2023-09-29 17:46:20 +02:00
commit d262650258
No known key found for this signature in database
GPG Key ID: DAF3EB1C00E368F7

View File

@ -23,6 +23,8 @@ jobs:
run: | run: |
if [ ${{ github.base_ref }} == 'main' ]; then if [ ${{ github.base_ref }} == 'main' ]; then
echo "runner=mainnet-compatible-runner" >> $GITHUB_OUTPUT echo "runner=mainnet-compatible-runner" >> $GITHUB_OUTPUT
elif [ ${{ github.base_ref }} == 'develop' ] && [ ${{ github.ref_name }} == 'main' ]; then
echo "runner=mainnet-compatible-runner" >> $GITHUB_OUTPUT
elif [ ${{ github.event_name }} == 'push' ] && [ ${{ contains(github.ref_name, 'release/mainnet') }} ]; then elif [ ${{ github.event_name }} == 'push' ] && [ ${{ contains(github.ref_name, 'release/mainnet') }} ]; then
echo "runner=mainnet-compatible-runner" >> $GITHUB_OUTPUT echo "runner=mainnet-compatible-runner" >> $GITHUB_OUTPUT
else else