chore: update GitHub workflows

This commit is contained in:
Michael Aaron Murphy 2024-08-15 10:21:08 +02:00
parent 55cd23b590
commit bd5ac8a5bb
No known key found for this signature in database
GPG key ID: B2732D4240C9212C
2 changed files with 4 additions and 4 deletions

View file

@ -1,2 +1,2 @@
[toolchain]
channel = "1.80.0"
channel = "1.80.1"