Skip to content

Actions: google-deepmind/formal-conjectures

Actions

Manage Labels from Comments

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
labels_from_comments.yml
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Erdős Problem 846: status mismatch (repo=formally solved, erdosproblems.com=open) Manage Labels from Comments #50: Issue comment #2396 (comment) created by mo271
6s
6s
Erdős Problem 125: add "upper density" variant Manage Labels from Comments #49: Issue comment #2394 (comment) created by mo271
8s
8s
disable linter.style.category_attribute on lemmas Manage Labels from Comments #48: Issue comment #2392 (comment) created by mo271
6s
6s
disable linter.style.category_attribute on lemmas Manage Labels from Comments #47: Issue comment #2392 (comment) created by Paul-Lez
8s
8s
chore: link to formal solution of edos_392 Manage Labels from Comments #46: Issue comment #2389 (comment) created by mo271
8s
8s
fix(Other): renamed BeaverMathOlympiad to BusyBeaverMathOlympiad Manage Labels from Comments #45: Issue comment #2386 (comment) created by mo271
5s
5s
fix(Other): renamed BeaverMathOlympiad to BusyBeaverMathOlympiad Manage Labels from Comments #44: Issue comment #2386 (comment) created by mo271
7s
7s
feat(Papers): Add Monochromatic Quantum Graph conjectures Manage Labels from Comments #43: Issue comment #2385 (comment) created by MarioKrenn6240
7s
7s
fix(Other): renamed BeaverMathOlympiad to BusyBeaverMathOlympiad Manage Labels from Comments #42: Issue comment #2386 (comment) created by franzhusch
9s
9s
fix(Other): renamed BeaverMathOlympiad to BusyBeaverMathOlympiad Manage Labels from Comments #41: Issue comment #2386 (comment) created by franzhusch
8s
8s
fix(Other): renamed BeaverMathOlympiad to BusyBeaverMathOlympiad Manage Labels from Comments #40: Issue comment #2386 (comment) created by Paul-Lez
9s
9s
feat(CI): handle multi-part Erdős problems in status check Manage Labels from Comments #39: Issue comment #2327 (comment) created by danielchin
7s
7s
doc: dark theme plots and improved styling Manage Labels from Comments #38: Issue comment #2387 (comment) created by mo271
8s
8s
feat(Millennium): Add Riemann Hypothesis (from Mathlib) Manage Labels from Comments #37: Issue comment #2378 (comment) created by smmercuri
9s
9s
fix(ErdosProblems): Add formalized lean sources to Erdos Problems Manage Labels from Comments #36: Issue comment #2383 (comment) created by danielchin
25m 10s
25m 10s
feat(ErdosProblems): 254 Manage Labels from Comments #35: Issue comment #2324 (comment) created by danielchin
24m 26s
24m 26s
feat(Wikipedia): Coxeter Group Isomorphism Problem Manage Labels from Comments #34: Issue comment #2175 (comment) created by franzhusch
6s
6s
feat(Papers): Add Monochromatic Quantum Graph conjectures Manage Labels from Comments #33: Issue comment #2385 (comment) created by google-cla bot
7s
7s
feat(ErdosProblems): 568 Manage Labels from Comments #32: Issue comment #1607 (comment) created by ruskaruma
8s
8s
fix(ErdosProblems): Add formalized lean sources to Erdos Problems Manage Labels from Comments #31: Issue comment #2383 (comment) created by mo271
7s
7s
feat(Millennium): Add Riemann Hypothesis (from Mathlib) Manage Labels from Comments #30: Issue comment #2378 (comment) created by franzhusch
5s
5s
feat(ErdosProblems): 740 Manage Labels from Comments #29: Issue comment #454 (comment) created by mo271
5s
5s
feat(ErdosProblems): 43 Manage Labels from Comments #28: Issue comment #307 (comment) created by mo271
5s
5s
feat: group theory definitions Manage Labels from Comments #27: Issue comment #235 (comment) created by mo271
7s
7s
feat(FormalConjectures/Util/Linters): ExistsImplication linter Manage Labels from Comments #26: Issue comment #2329 (comment) created by mo271
5s
5s