Skip to content

chore: Check that DafnyRuntimePython version matches project.properties dafnyVersion #3604

chore: Check that DafnyRuntimePython version matches project.properties dafnyVersion

chore: Check that DafnyRuntimePython version matches project.properties dafnyVersion #3604

Annotations

1 warning

pr-ci-python  /  testPython (ComAmazonawsKms, 3.11, ubuntu-latest)

succeeded Dec 16, 2024 in 50s
Set up job
2s
Support longpaths on Git checkout
0s
Configure AWS Credentials
1s
Run actions/checkout@v4
1s
Run git submodule update --init libraries
0s
Run git submodule update --init smithy-dafny
1s
Setup Dafny
4s
Setup Python 3.11 for running tests
0s
Run python -m pip install --upgrade pip
7s
Build ComAmazonawsKms implementation
18s
Test ComAmazonawsKms
10s
Post Setup Python 3.11 for running tests
0s
Post Run actions/checkout@v4
0s
Post Configure AWS Credentials
0s
Complete job
0s