Summary
Jobs
pr-populate-dafny-versions
pr-ci-verification (4.1.0)
verification (4.1.0, TestModels/dafny-dependencies/StandardLibrary, ubuntu-latest)
verification (4.1.0, TestModels/Aggregate, ubuntu-latest)
verification (4.1.0, TestModels/AggregateReferences, ubuntu-latest)
verification (4.1.0, TestModels/Constraints, ubuntu-latest)
verification (4.1.0, TestModels/Constructor, ubuntu-latest)
verification (4.1.0, TestModels/Dependencies, ubuntu-latest)
verification (4.1.0, TestModels/Errors, ubuntu-latest)
verification (4.1.0, TestModels/Extendable, ubuntu-latest)
verification (4.1.0, TestModels/Extern, ubuntu-latest)
verification (4.1.0, TestModels/LocalService, ubuntu-latest)
verification (4.1.0, TestModels/Refinement, ubuntu-latest)
verification (4.1.0, TestModels/Resource, ubuntu-latest)
verification (4.1.0, TestModels/SimpleTypes/SimpleBlob, ubuntu-latest)
verification (4.1.0, TestModels/SimpleTypes/SimpleBoolean, ubuntu-latest)
verification (4.1.0, TestModels/SimpleTypes/SimpleDouble, ubuntu-latest)
verification (4.1.0, TestModels/SimpleTypes/SimpleEnum, ubuntu-latest)
verification (4.1.0, TestModels/SimpleTypes/SimpleInteger, ubuntu-latest)
verification (4.1.0, TestModels/SimpleTypes/SimpleLong, ubuntu-latest)
verification (4.1.0, TestModels/SimpleTypes/SimpleString, ubuntu-latest)
verification (4.1.0, TestModels/Union, ubuntu-latest)
verification (4.1.0, TestModels/aws-sdks/ddb, ubuntu-latest)
verification (4.1.0, TestModels/aws-sdks/kms, ubuntu-latest)
verification (4.1.0, TestModels/aws-sdks/sqs-via-cli, ubuntu-latest)
pr-ci-verification (4.3.0)
verification (4.3.0, TestModels/dafny-dependencies/StandardLibrary, ubuntu-latest)
verification (4.3.0, TestModels/Aggregate, ubuntu-latest)
verification (4.3.0, TestModels/AggregateReferences, ubuntu-latest)
verification (4.3.0, TestModels/Constraints, ubuntu-latest)
verification (4.3.0, TestModels/Constructor, ubuntu-latest)
verification (4.3.0, TestModels/Dependencies, ubuntu-latest)
verification (4.3.0, TestModels/Errors, ubuntu-latest)
verification (4.3.0, TestModels/Extern, ubuntu-latest)
verification (4.3.0, TestModels/LocalService, ubuntu-latest)
verification (4.3.0, TestModels/Refinement, ubuntu-latest)
verification (4.3.0, TestModels/Resource, ubuntu-latest)
verification (4.3.0, TestModels/SimpleTypes/SimpleBlob, ubuntu-latest)
verification (4.3.0, TestModels/SimpleTypes/SimpleBoolean, ubuntu-latest)
verification (4.3.0, TestModels/SimpleTypes/SimpleDouble, ubuntu-latest)
verification (4.3.0, TestModels/SimpleTypes/SimpleEnum, ubuntu-latest)
verification (4.3.0, TestModels/SimpleTypes/SimpleInteger, ubuntu-latest)
verification (4.3.0, TestModels/SimpleTypes/SimpleLong, ubuntu-latest)
verification (4.3.0, TestModels/SimpleTypes/SimpleString, ubuntu-latest)
verification (4.3.0, TestModels/Union, ubuntu-latest)
verification (4.3.0, TestModels/aws-sdks/ddb, ubuntu-latest)
verification (4.3.0, TestModels/aws-sdks/kms, ubuntu-latest)
verification (4.3.0, TestModels/aws-sdks/sqs-via-cli, ubuntu-latest)
pr-ci-java (4.1.0)
testJava (4.1.0, TestModels/dafny-dependencies/StandardLibrary)
testJava (4.1.0, TestModels/Constraints)
testJava (4.1.0, TestModels/Errors)
testJava (4.1.0, TestModels/Extendable)
testJava (4.1.0, TestModels/LocalService)
testJava (4.1.0, TestModels/Resource)
testJava (4.1.0, TestModels/aws-sdks/ddb)
testJava (4.1.0, TestModels/aws-sdks/kms)
testJava (4.3.0, TestModels/dafny-dependencies/StandardLibrary)
testJava (4.3.0, TestModels/Constraints)
testJava (4.3.0, TestModels/Errors)
testJava (4.3.0, TestModels/Extendable)
testJava (4.3.0, TestModels/LocalService)
testJava (4.3.0, TestModels/Resource)
testJava (4.3.0, TestModels/aws-sdks/ddb)
testJava (4.3.0, TestModels/aws-sdks/kms)
pr-ci-java (4.3.0)
testJava (4.1.0, TestModels/dafny-dependencies/StandardLibrary)
testJava (4.1.0, TestModels/Constraints)
testJava (4.1.0, TestModels/Errors)
testJava (4.1.0, TestModels/Extendable)
testJava (4.1.0, TestModels/LocalService)
testJava (4.1.0, TestModels/Resource)
testJava (4.1.0, TestModels/aws-sdks/ddb)
testJava (4.1.0, TestModels/aws-sdks/kms)
testJava (4.3.0, TestModels/dafny-dependencies/StandardLibrary)
testJava (4.3.0, TestModels/Constraints)
testJava (4.3.0, TestModels/Errors)
testJava (4.3.0, TestModels/Extendable)
testJava (4.3.0, TestModels/LocalService)
testJava (4.3.0, TestModels/Resource)
testJava (4.3.0, TestModels/aws-sdks/ddb)
testJava (4.3.0, TestModels/aws-sdks/kms)
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
You can’t perform that action at this time.