Fix toolchain and CI, and update README

Artisan-Lab / RAP

Rust Analysis Platform

39 stars 14 forks source link

Closed zjp-CN closed 1 month ago

zjp-CN commented 1 month ago

This PR includes:

stripping target triple from channel field (refer to https://rust-lang.github.io/rustup/overrides.html#channel )
fixing a typo in component name
updating actions/setup-python from v3 to v5
updating README in usage with toolchain installation and override shorthand syntax

zjp-CN commented 1 month ago

Before: spurious build job

640fe29df0c66b06aa383d73b6ffa21

After: real building job [^1]

截图_20241015094117

[^1]: the runner on Github Action has already contained libz3-4 and clang, so no need to install them.