Add rust lint CI job. #9
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "lint-rust"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Additionally fix the many lint errors that are occurring. (or disable them.
Closes #7
4b0e62394e71d6d632db71d6d632dbc6b1893bb0c6b1893bb0baa6c1568ebaa6c1568ea8d97ce0b3a8d97ce0b3000c9403d5000c9403d55c3d4ac7a9Add rust lint CI job.to #7 Add rust lint CI job.5c3d4ac7a94d9c237651#7 Add rust lint CI job.to Add rust lint CI job.