Check toolchain file

feat: shim code for lean4web #1351

Sign in to view logs

Triggered via pull request June 19, 2026 21:05

robsimmons

synchronize #884

versobox-shim

Status Success

Total duration 11s

Artifacts –

pull-request-toolchains.yml

on: pull_request

Check for "nightly" in lean-toolchain