Skip to content
Check {:only} decorator presence

chore: Rename EncryptionSdk Dafny module name #250

Sign in to view logs

chore: Rename EncryptionSdk Dafny module name

chore: Rename EncryptionSdk Dafny module name #250

Triggered via pull request December 5, 2024 21:52
@rishav-karanjitrishav-karanjit
synchronize #707
rename-EncryptionSdk
Status Success
Total duration 13s
Artifacts –

check_only_keyword.yml

on: pull_request
grep-only-verification-keyword
4s
grep-only-verification-keyword
Fit to window
Zoom out
Zoom in

Annotations

1 warning
grep-only-verification-keyword
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636