fix

440555e

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 for stage0 changes on: pull_request

check-stage0-on-queue

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

check-prelude

Check PR title for commit convention on: pull_request

check-pr-title

Check awaiting-mathlib label on: pull_request

check-awaiting-mathlib

CI on: pull_request 5

configure

build / Linux Lake

build-secondary / Linux release

build-secondary / macOS aarch64

Build matrix complete

release

release-nightly

Check for copyright header on: pull_request

check-lean-files

Check awaiting-manual label on: pull_request

check-awaiting-manual

Check PR body for changelog convention on: pull_request

check-pr-body

Check PR title for commit convention on: pull_request

check-pr-title

Check PR body for changelog convention on: pull_request

check-pr-body

Check PR title for commit convention on: pull_request

check-pr-title

Check PR body for changelog convention on: pull_request

check-pr-body

Check PR body for changelog convention on: pull_request 1

check-pr-body

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

Backport on: pull_request_target

Backport

Restart by label on: pull_request_target

restart-on-label

Check awaiting-mathlib label on: pull_request_target

check-awaiting-mathlib

Check PR body for changelog convention on: pull_request_target 1

check-pr-body

Adaptation PR on: pull_request_target

create-adaptation-pr

remove-toolchain-available

Check awaiting-manual label on: pull_request_target

check-awaiting-manual

The logs for this run have expired and are no longer available.

Loading

fix

Uh oh!

The logs for this run have expired and are no longer available.

Re-running jobs...