Bump lean-toolchain on nightly-testing

Bump lean-toolchain on nightly-testing #466

Sign in to view logs

Triggered via schedule February 2, 2025 09:04

joehendrix

main

Status Failure

Total duration 11s

Artifacts –

nightly_bump_toolchain.yml

on: schedule

update-toolchain

Annotations

1 error

update-toolchain

Process completed with exit code 1.