chore(rt): delete the unnecessary symbol in the comments #2848
Triggered via pull request
September 12, 2024 11:41
seanmonstar
Status
Success
Total duration
5m 25s
Artifacts
–
CI.yml
on: pull_request
Check Style
4s
Matrix: test
Check MSRV
2m 0s
Test with Miri
2m 16s
features
29s
Test C API (FFI)
14s
udeps
21s
minimal-versions
23s
CI is green
0s