#!/bin/bash
# SPDX-FileCopyrightText: 2025 Uwe Fechner
# SPDX-License-Identifier: MIT

cd "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"
if [[ $(basename $(pwd)) == "bin" ]]; then
    cd ..
fi

echo -e "\033[1mChecking examples with jetls...\033[0m"
jetls -t 1,0 -- check --root=. examples/*.jl
echo
