Skip to content

Actions: google-deepmind/formal-conjectures

Actions

Build Lean project and deploy docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-docs.yml
2,500+ workflow runs
2,500+ workflow runs

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
Build Lean project and deploy docs Build Lean project and deploy docs #12345: Merge group checks requested
In progress
In progress
Fix the Hilbert fifth problem formulation (#4595) Build Lean project and deploy docs #12344: Commit 94769d6 pushed by github-merge-queue Bot
51m 12s main
main
51m 12s
feat(OEIS/README): refine (#4947) Build Lean project and deploy docs #12343: Commit 763947c pushed by github-merge-queue Bot
44m 11s main
main
44m 11s
feat(OEIS): add the A260194 universal-jumps question Build Lean project and deploy docs #12342: Pull request #4903 synchronize by derekste
39m 14s derekste:dev/oeis-260194-universal-jumps
derekste:dev/oeis-260194-universal-jumps
39m 14s
feat(website): add bibtex hints Build Lean project and deploy docs #12341: Pull request #5172 opened by mo271
1h 4m 58s mo271:bibtex-webtest
mo271:bibtex-webtest
1h 4m 58s
Build Lean project and deploy docs Build Lean project and deploy docs #12340: Merge group checks requested
1h 34m 13s
1h 34m 13s
feat(ErdosProblems/405): Formalize the statements in Erdos Problem 405 Build Lean project and deploy docs #12339: Pull request #3881 synchronize by mo271
34m 51s pandaninjas:erdos-405
pandaninjas:erdos-405
34m 51s
feat(ErdosProblems/405): Formalize the statements in Erdos Problem 405 Build Lean project and deploy docs #12338: Pull request #3881 synchronize by mo271
27m 58s pandaninjas:erdos-405
pandaninjas:erdos-405
27m 58s
feat(OEIS): A038552 Build Lean project and deploy docs #12337: Pull request #1893 synchronize by rwst
38m 36s rwst:i1459
rwst:i1459
38m 36s
Build Lean project and deploy docs Build Lean project and deploy docs #12336: Merge group checks requested
1h 32m 1s
1h 32m 1s
fix(cache): Fix CI build caching and remove redundant All.lean step (… Build Lean project and deploy docs #12335: Commit 396dd65 pushed by github-merge-queue Bot
1h 33m 32s main
main
1h 33m 32s
Build Lean project and deploy docs Build Lean project and deploy docs #12334: Merge group checks requested
1h 8m 32s
1h 8m 32s
chore: fix matrix rendering in latex markdown docstrings Build Lean project and deploy docs #12333: Pull request #5171 opened by mo271
1h 29m 45s mo271:miscroscopic_docstring
mo271:miscroscopic_docstring
1h 29m 45s
feat(Erdos/372): add largest prime factor chain statement (#4316) Build Lean project and deploy docs #12332: Commit bfea74a pushed by github-merge-queue Bot
1h 33m 52s main
main
1h 33m 52s
fix(cache): Fix CI build caching and remove redundant All.lean step Build Lean project and deploy docs #12331: Pull request #5155 synchronize by danielchin
1h 15m 43s danielchin:cache
danielchin:cache
1h 15m 43s
Build Lean project and deploy docs Build Lean project and deploy docs #12330: Merge group checks requested
1h 6m 31s
1h 6m 31s
Build Lean project and deploy docs Build Lean project and deploy docs #12329: Merge group checks requested
1h 30m 12s
1h 30m 12s
feat(Erdos/372): add largest prime factor chain statement Build Lean project and deploy docs #12328: Pull request #4316 synchronize by mo271
38m 30s MendozaLab:codex/erdos372-largest-prime-factor-chain
MendozaLab:codex/erdos372-largest-prime-factor-chain
38m 30s
feat(Erdos/372): add largest prime factor chain statement Build Lean project and deploy docs #12327: Pull request #4316 synchronize by mo271
30m 38s MendozaLab:codex/erdos372-largest-prime-factor-chain
MendozaLab:codex/erdos372-largest-prime-factor-chain
30m 38s
feat(Erdos/175): add central binomial squarefree statement Build Lean project and deploy docs #12326: Pull request #4315 synchronize by mo271
38m 24s MendozaLab:codex/erdos175-central-binomial-squarefree
MendozaLab:codex/erdos175-central-binomial-squarefree
38m 24s
feat(Erdos/175): add central binomial squarefree statement Build Lean project and deploy docs #12325: Pull request #4315 synchronize by mo271
33m 48s MendozaLab:codex/erdos175-central-binomial-squarefree
MendozaLab:codex/erdos175-central-binomial-squarefree
33m 48s
feat(Erdos/175): add central binomial squarefree statement Build Lean project and deploy docs #12324: Pull request #4315 synchronize by mo271
39m 40s MendozaLab:codex/erdos175-central-binomial-squarefree
MendozaLab:codex/erdos175-central-binomial-squarefree
39m 40s
feat(Erdos/2): add covering system bound statement Build Lean project and deploy docs #12323: Pull request #4313 synchronize by mo271
29m 32s MendozaLab:codex/erdos2-covering-system-bound
MendozaLab:codex/erdos2-covering-system-bound
29m 32s
feat(Erdos/2): add covering system bound statement Build Lean project and deploy docs #12322: Pull request #4313 synchronize by mo271
41m 7s MendozaLab:codex/erdos2-covering-system-bound
MendozaLab:codex/erdos2-covering-system-bound
41m 7s
feat(Wikipedia): Square root sum problem Build Lean project and deploy docs #12321: Pull request #5170 synchronize by BoltonBailey
42m 35s BoltonBailey:square-root-sum
BoltonBailey:square-root-sum
42m 35s