Skip to content

Markup file parts (#35) #10

Markup file parts (#35)

Markup file parts (#35) #10

name: Test All Dafny Files
on:
push:
branches:
- main
jobs:
test:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v4
- name: Install Nix
uses: cachix/install-nix-action@v20
- name: Test that all dafny files are named correctly
run: nix run .#dafny-namecheck
- name: Run Dafny on all files
run: nix run .#dafny-check