Skip to content
Check toolchain file

fix: restore parser tests #191

Sign in to view logs

fix: restore parser tests

fix: restore parser tests #191

Triggered via pull request September 30, 2025 20:34
@jcreedcmujcreedcmu
synchronize #543
jcreedcmu:restore-tests
Status Success
Total duration 6s
Artifacts –

pull-request-toolchains.yml

on: pull_request
Check for "nightly" in lean-toolchain
3s
Check for "nightly" in lean-toolchain
Fit to window
Zoom out
Zoom in