diff --git a/.github/workflows/library_go_tests.yml b/.github/workflows/library_go_tests.yml index 130129019f..55cf522abe 100644 --- a/.github/workflows/library_go_tests.yml +++ b/.github/workflows/library_go_tests.yml @@ -95,6 +95,13 @@ jobs: run: | make purge_polymorph_code + - name: Update Go dependencies + working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go + # if: github.event_name == 'schedule' + run: | + echo $github.event_name + go get -u ./... + - name: Test ${{ matrix.library }} working-directory: ./${{ matrix.library }} shell: bash