diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index d41ba6524..632dcc875 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -86,8 +86,14 @@ jobs: with: toolchain: stable + - name: Fetch configlet + run: ./bin/fetch-configlet + + - name: Checkout problem-specifications + run: ./bin/symlink_problem_specifications.sh + - name: Run tests - run: cd rust-tooling/ci-tests && cargo test + run: cd rust-tooling && cargo test rustformat: name: Check Rust Formatting