Merge pull request #94079 from Mic92/ci-fixes

This commit is contained in:
Jörg Thalheim 2020-07-28 15:08:49 +01:00 committed by GitHub
commit 0d7e97f2a6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -19,9 +19,12 @@ jobs:
exit 0
fi
sleep 5
echo "."
done
echo "Timeout!"
exit 1
# ofborg is not checking forks.
if: github.repository_owner == 'NixOS'
env:
GITHUB_TOKEN: ${{ github.token }}
COMMIT: ${{ github.event.pull_request.head.sha }}