Merge branch 'main' into patch-5

2c91e80

Select commit

Loading

Failed to load commit list.

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

Check labels on: pull_request 1

DO-NOT-MERGE

Unresolved review

Lint on: pull_request

lint

Tests on: pull_request 2

Change detection / Create context from changed files

Docs / Docs

Docs / Doctest

Docs / Check EPUB

Docs / Check for removed HTML IDs / Check for removed HTML IDs

Check if Autoconf files are up to date

Check if generated files are up to date

C API Docs / Check if all C APIs are documented

Windows MSI${{ '' }}

Ubuntu SSL tests

Android (${{ matrix.arch }})

iOS

Emscripten

WASI

Hypothesis tests on Ubuntu

Address sanitizer

Sanitizers${{ '' }}

Cross build Linux

CIFuzz${{ '' }}

All required checks pass

Loading