fix input sources

KeYProject · Jan 20, 2023 · 1b08f4f · 1b08f4f
1 parent 1e17924
commit 1b08f4f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/mkdocs.yml b/.github/workflows/mkdocs.yml
@@ -66,6 +66,5 @@ jobs:
     - uses: rojopolis/[email protected]
       name: Spellcheck
       with:
-        source_files: README.md CHANGELOG.md notes/Notes.md
         task_name: Markdown
         output_file: spellcheck-output.txt