allow running GitHub workflow manually (#5248)

This commit is contained in:
Matija Nalis 2023-06-22 06:25:44 +02:00 committed by GitHub
parent f4e8de79fb
commit b1a272ef49
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +1,6 @@
name: Android CI
on: [push, pull_request]
on: [push, pull_request, workflow_dispatch]
concurrency:
group: build-${{ github.event.pull_request.number || github.ref }}