Lean CI: use the latest version of sail#3

tobiasgrosser wants to merge 3 commits intomasteropencompl/sail-riscv:masterfrom

lean-ci-latest-sail-2opencompl/sail-riscv:lean-ci-latest-sail-2Copy head branch name to clipboard