Skip to content

feat(KSA-Dafny): System Key Handler #3866

feat(KSA-Dafny): System Key Handler

feat(KSA-Dafny): System Key Handler #3866

# This workflow performs static analysis checks.
name: static analysis
on:
pull_request:
push:
branches:
- main
jobs:
not-grep:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: not-grep
uses: mattsb42-meta/[email protected]