d-flex flex-column width-full">

chore: rename `Nat.div_eq` to `Nat.div_eq_ite`

e398f2b

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 PR body for changelog convention on: pull_request_target

check-pr-body

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

Check awaiting-manual label on: pull_request_target

check-awaiting-manual

Check awaiting-mathlib label on: pull_request_target

check-awaiting-mathlib

Restart by label on: pull_request_target

restart-on-label

Check PR body for changelog convention on: pull_request_target

check-pr-body

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

Backport on: pull_request_target

Backport

Adaptation PR on: pull_request_target

main

Check awaiting-mathlib label on: pull_request_target

check-awaiting-mathlib

Check awaiting-manual label on: pull_request_target

check-awaiting-manual

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

Adaptation PR on: pull_request_target

main

Check awaiting-mathlib label on: pull_request_target

check-awaiting-mathlib

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

Backport

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

check-prelude

Check for empty PR on: pull_request

check-empty-pr

Check for copyright header on: pull_request

check-lean-files

Check for stage0 changes on: pull_request

check-stage0-on-queue

CI on: pull_request 4

configure

build / Linux release

build-secondary / Linux Lake (Cached)

Build matrix complete

release

release-nightly

Check PR title for commit convention on: pull_request

check-pr-title

Backport on: pull_request_target

Backport

Check awaiting-mathlib label on: pull_request_target

check-awaiting-mathlib

Check awaiting-manual label on: pull_request_target

check-awaiting-manual

Restart by label on: pull_request_target

restart-on-label

Check PR body for changelog convention on: pull_request_target

check-pr-body

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

Adaptation PR on: pull_request_target

main

Check awaiting-mathlib label on: pull_request_target

check-awaiting-mathlib

Restart by label on: pull_request_target

restart-on-label

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

Adaptation PR on: pull_request_target

main

Check awaiting-manual label on: pull_request_target

check-awaiting-manual

Check PR body for changelog convention on: pull_request_target

check-pr-body

Backport on: pull_request_target

Backport

Adaptation PR on: pull_request_target

main

Backport on: pull_request_target 1

Backport

Check awaiting-mathlib label on: pull_request_target

check-awaiting-mathlib

Restart by label on: pull_request_target

restart-on-label

Check awaiting-manual label on: pull_request_target

check-awaiting-manual

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

Backport on: pull_request_target

Backport

Check awaiting-mathlib label on: pull_request_target

check-awaiting-mathlib

Adaptation PR on: pull_request_target

main

Check PR body for changelog convention on: pull_request_target

check-pr-body

Restart by label on: pull_request_target

restart-on-label

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

Check awaiting-manual label on: pull_request_target

check-awaiting-manual

check-pr-body

succeeded Jul 20, 2026 in 3s

Loading

chore: rename `Nat.div_eq` to `Nat.div_eq_ite`

Uh oh!

Re-running jobs...