This fixes the aarch64 build CI job by updating the rust toolchain used in the CI jobs.
This fixes the aarch64 build CI job by updating the rust toolchain used in the CI jobs.
cjdesno/silverfish:update_rust_toolchain_ci into main This fixes the aarch64 build CI job by updating the rust toolchain used in the CI jobs.
This reverts commit 7bc74b5c4e.
See here for a successful aarch64 job run with this change: https://codeberg.org/cjdesno/silverfish/actions/runs/74/jobs/0/attempt/1
(you won't see one on this PR because we only run that job for pushes to main, not for PRs)
Approved. This can be merged
No due date set.
No dependencies set.
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?