diff --git a/.github/workflows/vm.yml b/.github/workflows/vm.yml index a62cf5fb2..982acee09 100644 --- a/.github/workflows/vm.yml +++ b/.github/workflows/vm.yml @@ -131,6 +131,7 @@ jobs: - run: vm/ssh.sh cd jou '&&' ./jou -o jou2 compiler/main.jou - run: vm/ssh.sh cd jou '&&' mv jou2 jou - run: vm/ssh.sh cd jou '&&' ./runtests.sh --verbose + - run: vm/ssh.sh cd jou '&&' ./doctest.sh - name: "Shut down VM" run: |