ci: replay immutable A080170 equivalence proof

ca28a38

Select commit

Loading

Failed to load commit list.

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

.github/workflows/one-shot-wow59-linear-branch.yml on: push 1

.github/workflows/w320-pr-audit.yml on: push 1

.github/workflows/a261865-foundation-autofix-main.yml on: push 1

.github/workflows/litt-most-unfair-check.yml on: push 1

.github/workflows/one-shot-litt-constant-gap.yml on: push 1

.github/workflows/one-shot-litt-overlap-bridge.yml on: push 1

.github/workflows/one-shot-repair-litt.yml on: push 1

.github/workflows/one-shot-repair-wowii59.yml on: push 1

.github/workflows/a261865-repair-pass2.yml on: push 1

.github/workflows/one-shot-litt-final-three.yml on: push 1

Build Lean project and deploy docs on: pull_request

Build project

deploy

Full quantum color-restriction proof audit on: pull_request 1

audit

Geode5 arithmetic bridge audit on: pull_request

arithmetic-layers

Chomp native proof audit on: pull_request

lean

Check Copyright Header on: pull_request

check-copyright

Geode5 proof targeted audit on: pull_request

proof-layers

WorldCup7 targeted Lean audit on: pull_request

Compile WorldCup7.lean

Welcome Pull Requests on: pull_request_target

Post welcome comment

OpenAI immutable A080170 equivalence audit on: pull_request 1

audit

Pull Request Labeler on: pull_request_target

labeler

Final Litt current-main proof audit on: pull_request_target

audit