chore: cleanup

c6b7249

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

Adaptation PR on: pull_request_target

create-adaptation-pr

remove-toolchain-available

Check stdlib_flags.h modifications on: pull_request_target

check-stdlib-flags

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 for empty PR on: pull_request

check-empty-pr

Check awaiting-manual label on: pull_request_target

check-awaiting-manual

Check PR title for commit convention on: pull_request

check-pr-title

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

check-prelude

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

Build matrix complete

release

release-nightly

Adaptation PR on: pull_request_target

create-adaptation-pr

remove-toolchain-available

Check PR body for changelog convention on: pull_request_target

check-pr-body

Adaptation PR on: pull_request_target

create-adaptation-pr

remove-toolchain-available

Backport on: pull_request_target 1

Backport

Job log options

Download log archive

This job was skipped

Loading

chore: cleanup

Uh oh!

This job was skipped

Re-running jobs...