docs: Note that Lean proofs stay with their goals.

78b7845

Select commit

Loading

Failed to load commit list.

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

Labelling new pull requests on: pull_request_target 1

greeter

automate-prs-labels

CppVerify CI on: pull_request 6

Linux (release)

Linux (assertions)

macOS (fresh clone, setup.sh)

Windows (fresh clone, setup.ps1)

Check for private emails used in PRs on: pull_request

validate_email

Check LLVM ABI annotations on: pull_request

Check LLVM_ABI annotations with ids

Check code formatting on: pull_request

code_formatter

Zizmor GitHub Actions Analysis on: pull_request

Run zizmor

Github Actions CodeQL on: pull_request 1

Github Actions CodeQL

CppVerify documentation on: pull_request 2

build

deploy

CI Checks on: pull_request

Build and Test Windows

MacOS Premerge Checks

Code scanning results

CodeQL

Add buildbot information to first PRs from new contributors on: pull_request_target 1

buildbot_comment

CI Checks on: pull_request

Build and Test Windows

MacOS Premerge Checks