Skip to content

Commit b048d81

Browse files
committed
m
1 parent 9d10120 commit b048d81

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/workflows/ci_test_latest_released_mpl_java.yml

+1
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ name: Test Latest Released MPL Java with DB-ESDK HEAD
55
on:
66
schedule:
77
- cron: "00 16 * * 1-5"
8+
workflow_dispatch: # allows triggering this manually through the Actions UI
89

910
jobs:
1011
getDBESDKDafnyVersion:

0 commit comments

Comments
 (0)