Skip to content

Conversation

@MatthewBennington
Copy link

Issue #, if available: #194

resolves #194

Description of changes: Remove logic to skip tests, instead just continue.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

@lavaleri
Copy link
Contributor

AWS CodeBuild CI Report

  • CodeBuild project: DafnyESDK
  • Commit ID: d980734
  • Result: SUCCEEDED
  • Build Logs (available for 30 days)

Powered by github-codebuild-logs, available on the AWS Serverless Application Repository

acioc
acioc previously approved these changes Feb 19, 2020
@lavaleri
Copy link
Contributor

AWS CodeBuild CI Report

  • CodeBuild project: DafnyESDK
  • Commit ID: 36d2bb4
  • Result: SUCCEEDED
  • Build Logs (available for 30 days)

Powered by github-codebuild-logs, available on the AWS Serverless Application Repository

@MatthewBennington MatthewBennington linked an issue Feb 20, 2020 that may be closed by this pull request
@lavaleri
Copy link
Contributor

AWS CodeBuild CI Report

  • CodeBuild project: DafnyESDK
  • Commit ID: 56dab9d
  • Result: SUCCEEDED
  • Build Logs (available for 30 days)

Powered by github-codebuild-logs, available on the AWS Serverless Application Repository

@MatthewBennington MatthewBennington merged commit 9b4f066 into aws:develop Feb 20, 2020
josecorella added a commit to josecorella/aws-encryption-sdk-dafny that referenced this pull request Oct 11, 2023
josecorella added a commit that referenced this pull request Oct 11, 2023
josecorella added a commit that referenced this pull request Oct 11, 2023
josecorella added a commit that referenced this pull request Oct 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove Skip Messages from Raw Keyring Encryption Tests

3 participants