Skip to content
Check toolchain file

chore: use upstream HTML type #1592

Sign in to view logs

chore: use upstream HTML type

chore: use upstream HTML type #1592

Triggered via pull request August 27, 2026 21:44
@Vtec234Vtec234
opened #974
adapt-html-type
Status Failure
Total duration 10s
Artifacts –

pull-request-toolchains.yml

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

Annotations

2 errors
Check for "nightly" in lean-toolchain
Process completed with exit code 1.
Check for "nightly" in lean-toolchain
The lean-toolchain file contains 'nightly', which is not allowed in PRs to main