Skip to content
Back to pull request #713

chore: rename EncryptionSdk Dafny module name #462

Sign in to view logs

chore: rename EncryptionSdk Dafny module name

chore: rename EncryptionSdk Dafny module name #462

Workflow file for this run

.github/workflows/pull.yml at db692d4
# This workflow runs for every pull request
name: PR CI
on:
pull_request:
jobs:
pr-ci-codegen:
uses: ./.github/workflows/library_codegen.yml
with:
dafny: '4.8.1'
pr-ci-verification:
uses: ./.github/workflows/library_dafny_verification.yml
with:
dafny: '4.8.1'
# pr-ci-java:
# uses: ./.github/workflows/library_java_tests.yml
# with:
# dafny: '4.2.0'
pr-ci-net:
uses: ./.github/workflows/library_net_tests.yml
with:
dafny: '4.8.1'
pr-test-vectors:
uses: ./.github/workflows/library_interop_tests.yml
with:
dafny: '4.8.1'
pr-dafny-test-vectors:
uses: ./.github/workflows/library_interop_test_vectors.yml
with:
dafny: '4.8.1'
pr-dafny-legacy-test-vectors:
uses: ./.github/workflows/library_legacy_interop_test_vectors.yml
with:
dafny: '4.8.1'