Skip to content

chore: separate Dafny versions for transpilation and verification (#362) #1537

chore: separate Dafny versions for transpilation and verification (#362)

chore: separate Dafny versions for transpilation and verification (#362) #1537

# 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]