Check toolchain file

chore: fix build warnings and bump SubVerso #1450

Sign in to view logs

Triggered via pull request July 27, 2026 11:49

david-christiansen

synchronize #931

warnings-and-bump

Status Success

Total duration 9s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain