Skip to content
Test New Dafny Files

105, 116, 123, 155, add a file with remaining tasks #6

Sign in to view logs

105, 116, 123, 155, add a file with remaining tasks

105, 116, 123, 155, add a file with remaining tasks #6

Workflow file for this run

.github/workflows/test-dafny-new.yml at 385b2d8
name: Test New Dafny Files
on:
pull_request:
branches:
- main
jobs:
test-changed:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v4
- name: Install Nix
uses: cachix/install-nix-action@v20
- name: Get changed files
id: changed-files
uses: tj-actions/changed-files@v45
- name: Test that all dafny files are named correctly
run: nix run .#dafny-namecheck
- name: Run Dafny on new files
env:
ALL_CHANGED_FILES: ${{ steps.changed-files.outputs.all_changed_files }}
run: nix run .#dafny-check-new "${ALL_CHANGED_FILES}"