Skip to content

chore: Adopt SmithyDafnyMakefile.mk, fix nightly build #2092

chore: Adopt SmithyDafnyMakefile.mk, fix nightly build

chore: Adopt SmithyDafnyMakefile.mk, fix nightly build #2092

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