chore: remove `LEAN_LAZY_RC`

c27a3d4

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

Adaptation PR on: pull_request_target

create-adaptation-pr

remove-toolchain-available

Restart by label on: pull_request_target

restart-on-label

Check awaiting-mathlib label on: pull_request_target

check-awaiting-mathlib

Backport on: pull_request_target

Backport

Check awaiting-manual label on: pull_request_target

check-awaiting-manual

Check PR body for changelog convention on: pull_request_target

check-pr-body

Check awaiting-mathlib label on: pull_request_target

check-awaiting-mathlib

Check PR body for changelog convention on: pull_request_target

check-pr-body

Check awaiting-manual label on: pull_request_target

check-awaiting-manual

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

Check for copyright header on: pull_request

check-lean-files

Check for stage0 changes on: pull_request

check-stage0-on-queue

Check PR title for commit convention on: pull_request

check-pr-title

Check for empty PR on: pull_request

check-empty-pr

Check for modules that should use `prelude` on: pull_request

check-prelude

CI on: pull_request 4

configure

build / Linux release

build-secondary

Build matrix complete

release

release-nightly

Check awaiting-mathlib label on: pull_request_target

check-awaiting-mathlib

Backport on: pull_request_target

Backport

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

Adaptation PR on: pull_request_target

create-adaptation-pr

remove-toolchain-available

Restart by label on: pull_request_target

restart-on-label

Check PR body for changelog convention on: pull_request_target

check-pr-body

Check awaiting-manual label on: pull_request_target

check-awaiting-manual

Backport on: pull_request_target 1

Backport

Adaptation PR on: pull_request_target

create-adaptation-pr

remove-toolchain-available

check-stdlib-flags

succeeded Sep 3, 2026 in 10s

Loading

Re-running jobs...