From fd1ef7f7b011650cb24ab0d0e9e2c75c8d678e46 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 16 Jan 2026 19:59:06 -0800 Subject: [PATCH] Add workflow_dispatch trigger to android-build.yml --- .github/workflows/android-build.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/android-build.yml b/.github/workflows/android-build.yml index 4adf734ca..081ff3dd4 100644 --- a/.github/workflows/android-build.yml +++ b/.github/workflows/android-build.yml @@ -3,6 +3,7 @@ name: Android Build on: schedule: - cron: '0 0 */2 * *' + workflow_dispatch: env: BUILD_TYPE: Release