Check toolchain file

feat: lightweight HTTP server for Verso projects #1492

Sign in to view logs

Triggered via pull request August 7, 2026 15:04

david-christiansen

synchronize #876

serve

Status Success

Total duration 33m 7s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain