Update rust toolchain to 1.80 #180

Merged

wojtek merged 6 commits from 179---update-rust-toolchain-to-1.80-in-ci into main

2024-08-24 15:10:54 +02:00

Author	SHA1	Message	Date
Wojciech Kozlowski	156316e638	And formatting All checks were successful Cargo CI / Lint (pull_request) Successful in 1m5s Details Cargo CI / Build and Test (pull_request) Successful in 1m56s Details	2024-08-24 15:05:48 +02:00
Wojciech Kozlowski	1753203c7d	Remove unused variants Some checks failed Cargo CI / Build and Test (pull_request) Successful in 2m1s Details Cargo CI / Lint (pull_request) Failing after 1m4s Details	2024-08-24 14:58:30 +02:00
Wojciech Kozlowski	86f539d1f6	Fix a new clippy lint	2024-08-24 14:58:24 +02:00
Wojciech Kozlowski	e35b45a792	Fix a new clippy lint Some checks failed Cargo CI / Lint (pull_request) Failing after 1m4s Details Cargo CI / Build and Test (pull_request) Successful in 1m57s Details	2024-08-24 14:45:23 +02:00
Wojciech Kozlowski	02fdb1b55e	Fix a new clippy lint Some checks failed Cargo CI / Lint (pull_request) Failing after 1m4s Details Cargo CI / Build and Test (pull_request) Successful in 1m55s Details	2024-08-24 14:39:58 +02:00
Wojciech Kozlowski	c195655089	Update rust toolchain to 1.80 Some checks failed Cargo CI / Build and Test (pull_request) Successful in 1m58s Details Cargo CI / Lint (pull_request) Failing after 43s Details	2024-08-24 14:35:38 +02:00