chore: update CI to rust 1.80 and fix new lints #398
aries.yml
on: push
Matrix: build
Unit tests
1m 9s
Rustfmt and Clippy
44s
Solving
2m 27s
Unified Planning API
42s
UP Integration Tests
3m 59s
Annotations
5 warnings