ci: replay the Erdős 828 totient classification

59604dd

Select commit

Loading

Failed to load commit list.

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

.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-overlap-bridge.yml on: push 1

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

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

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

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

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

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

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

Geode5 proof targeted audit on: pull_request

proof-layers

Chomp native proof audit on: pull_request

lean

Full quantum color-restriction proof audit on: pull_request 1

audit

WorldCup7 targeted Lean audit on: pull_request

Compile WorldCup7.lean

Geode5 arithmetic bridge audit on: pull_request

arithmetic-layers

Check Copyright Header on: pull_request

check-copyright

Build Lean project and deploy docs on: pull_request

Build project

deploy

OpenAI Erdos 828 phi classification audit on: pull_request 1

audit

Pull Request Labeler on: pull_request_target

labeler

Welcome Pull Requests on: pull_request_target

Post welcome comment

Final Litt current-main proof audit on: pull_request_target

audit