chore: bump lean-toolchain to v4.2.0-rc4 #354

Sign in to view logs

Summary
Jobs
- Test
Run details
- Usage
- Workflow file

Triggered via push October 21, 2023 22:39

kim-em

main

Status Success

Total duration 4h 5m 14s

Artifacts –

test.yml

on: push