Skip to content

Commit

Permalink
Add rzk.yaml
Browse files Browse the repository at this point in the history
  • Loading branch information
aabounegm authored Dec 12, 2023
1 parent 3572638 commit 8ab1612
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/rzk.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,4 +21,4 @@ jobs:
uses: rzk-lang/rzk-action@v1
with:
rzk-version: latest
files: src/*.rzk.md
files: src/**/*.rzk.md
3 changes: 3 additions & 0 deletions rzk.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
include:
- src/**/*.rzk
- src/**/*.rzk.md
2 changes: 1 addition & 1 deletion src/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,5 +7,5 @@ Template for a formalisation project in rzk proof assistant.
From the root of the project's repository, run:

```sh
rzk typecheck src/**/*.rzk.md
rzk typecheck
```

0 comments on commit 8ab1612

Please sign in to comment.