Skip to content

Actions: google-deepmind/formal-conjectures

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Check Erdos problem statuses Check Erdos problem statuses #2923: Scheduled
26s main
main
26s
refactor(SimpleGraph/Residue): make residueAux well-founded to enable induction Build Lean project and deploy docs #10112: Pull request #4412 opened by ChakshuGupta13
2h 10m 48s ChakshuGupta13:residue-wellfounded
ChakshuGupta13:residue-wellfounded
2h 10m 48s
refactor(SimpleGraph/Residue): make residueAux well-founded to enable induction Check Copyright Header #8466: Pull request #4412 opened by ChakshuGupta13
46s ChakshuGupta13:residue-wellfounded
ChakshuGupta13:residue-wellfounded
46s
refactor(SimpleGraph/Residue): make residueAux well-founded to enable induction Google GitHub Admin: Actions Workflow Security Scan #5503: Pull request #4412 opened by ChakshuGupta13
1m 21s ChakshuGupta13:residue-wellfounded
ChakshuGupta13:residue-wellfounded
1m 21s
refactor(SimpleGraph/Residue): make residueAux well-founded to enable induction Pull Request Labeler #5557: Pull request #4412 opened by ChakshuGupta13
45s
45s
refactor(SimpleGraph/Residue): make residueAux well-founded to enable induction GitHub Actions Scan #1083: Pull request #4412 opened by ChakshuGupta13
1m 49s
1m 49s
refactor(SimpleGraph/Residue): make residueAux well-founded to enable induction Welcome Pull Requests #297: Pull request #4412 opened by ChakshuGupta13
48s
48s
Check Erdos problem statuses Check Erdos problem statuses #2922: Scheduled
27s main
main
27s
Check Erdos problem statuses Check Erdos problem statuses #2921: Scheduled
4m 57s main
main
4m 57s
Check Erdos problem statuses Check Erdos problem statuses #2920: Scheduled
13s main
main
13s
Check Erdos problem statuses Check Erdos problem statuses #2919: Scheduled
6m 22s main
main
6m 22s
Check Erdos problem statuses Check Erdos problem statuses #2918: Scheduled
9m 49s main
main
9m 49s
Check Erdos problem statuses Check Erdos problem statuses #2917: Scheduled
32m 18s main
main
32m 18s
Check Erdos problem statuses Check Erdos problem statuses #2916: Scheduled
22s main
main
22s
feat(ErdosProblems/92): prove possible_f_values_BddAbove Google GitHub Admin: Actions Workflow Security Scan #5502: Pull request #4411 opened by kukushking
2m 47s kukushking:proofs/erdos-92-bddabove
kukushking:proofs/erdos-92-bddabove
2m 47s
feat(ErdosProblems/92): prove possible_f_values_BddAbove Check Copyright Header #8465: Pull request #4411 opened by kukushking
2m 21s kukushking:proofs/erdos-92-bddabove
kukushking:proofs/erdos-92-bddabove
2m 21s
feat(ErdosProblems/92): prove possible_f_values_BddAbove Build Lean project and deploy docs #10111: Pull request #4411 opened by kukushking
1h 45m 53s kukushking:proofs/erdos-92-bddabove
kukushking:proofs/erdos-92-bddabove
1h 45m 53s
feat(ErdosProblems/92): prove possible_f_values_BddAbove Welcome Pull Requests #296: Pull request #4411 opened by kukushking
2m 23s
2m 23s
feat(ErdosProblems/92): prove possible_f_values_BddAbove Pull Request Labeler #5556: Pull request #4411 opened by kukushking
2m 25s
2m 25s
feat(ErdosProblems/92): prove possible_f_values_BddAbove GitHub Actions Scan #1082: Pull request #4411 opened by kukushking
2m 22s
2m 22s
Check Erdos problem statuses Check Erdos problem statuses #2915: Scheduled
3m 33s main
main
3m 33s
Check Erdos problem statuses Check Erdos problem statuses #2914: Scheduled
3m 49s main
main
3m 49s
Add IMO 2013 Problem 6 (beautiful labellings count) as a research-solved combinatorics statement Manage Labels from Comments #1437: Issue comment #4408 (comment) created by Smetalo
4m 31s
4m 31s
Check Erdos problem statuses Check Erdos problem statuses #2913: Scheduled
18s main
main
18s
Check Erdos problem statuses Check Erdos problem statuses #2912: Scheduled
22s main
main
22s