We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ed6ecf1 commit eb6f8b9Copy full SHA for eb6f8b9
.github/workflows/ci_test_latest_released_mpl_java.yml
@@ -6,6 +6,7 @@ on:
6
schedule:
7
- cron: "00 16 * * 1-5"
8
workflow_dispatch: # allows triggering this manually through the Actions UI
9
+ pull_request:
10
11
jobs:
12
testJava:
.github/workflows/pull.yml
@@ -64,8 +64,6 @@ jobs:
64
uses: ./.github/workflows/ci_examples_net.yml
65
with:
66
dafny: ${{needs.getVersion.outputs.version}}
67
- pr-ci-latest-released-mpl-remove:
68
- uses: ./.github/workflows/ci_test_latest_released_mpl_java.yml
69
pr-ci-all-required:
70
if: always()
71
needs:
@@ -82,7 +80,6 @@ jobs:
82
80
- pr-ci-rust
83
81
- pr-ci-net-test-vectors
84
- pr-ci-net-examples
85
- - pr-ci-latest-released-mpl-remove
86
runs-on: ubuntu-22.04
87
steps:
88
- name: Verify all required jobs passed
0 commit comments