Skip to content

Commit 85ab65d

Browse files
committed
m
1 parent 40e0397 commit 85ab65d

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

.github/workflows/pull.yml

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -54,11 +54,11 @@ jobs:
5454
uses: ./.github/workflows/library_rust_tests.yml
5555
with:
5656
dafny: ${{needs.getVersion.outputs.version}}
57-
pr-ci-go:
58-
needs: getVersion
59-
uses: ./.github/workflows/ci_test_go.yml
60-
with:
61-
dafny: ${{needs.getVersion.outputs.version}}
57+
# pr-ci-go:
58+
# needs: getVersion
59+
# uses: ./.github/workflows/ci_test_go.yml
60+
# with:
61+
# dafny: ${{needs.getVersion.outputs.version}}
6262
pr-ci-net-test-vectors:
6363
needs: getVersion
6464
uses: ./.github/workflows/ci_test_vector_net.yml
@@ -83,7 +83,7 @@ jobs:
8383
- pr-ci-java-examples
8484
- pr-ci-net
8585
- pr-ci-rust
86-
- pr-ci-go
86+
# - pr-ci-go
8787
- pr-ci-net-test-vectors
8888
- pr-ci-net-examples
8989
runs-on: ubuntu-22.04

0 commit comments

Comments
 (0)