Check toolchain file

feat: lightweight HTTP server for Verso projects #1490

Sign in to view logs

Triggered via pull request August 7, 2026 14:49

david-christiansen

synchronize #876

serve

Status Success

Total duration 46m 28s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain