Skip to content

Actions: AxiomMath/PartitionElliptic

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
10 workflow runs
10 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
Merge pull request #2 from AxiomMath/add-formalization-yaml Lean Action CI #11: Commit 50404a9 pushed by kckennylau
2m 9s main
main
2m 9s
feat: add formalization.yaml Lean Action CI #10: Pull request #2 opened by kckennylau
2m 21s add-formalization-yaml
add-formalization-yaml
2m 21s
feat: add formalization.yaml Lean Action CI #9: Commit fb74dd7 pushed by kckennylau
2m 25s add-formalization-yaml
add-formalization-yaml
2m 25s
Merge pull request #1 from AxiomMath/add-comparator Lean Action CI #8: Commit 53ab86b pushed by kckennylau
2m 30s main
main
2m 30s
feat: add comparator Lean Action CI #7: Pull request #1 synchronize by kckennylau
1m 30s add-comparator
add-comparator
1m 30s
add comparator instructions to README Lean Action CI #6: Commit efd7f43 pushed by kckennylau
1m 35s add-comparator
add-comparator
1m 35s
feat: add comparator Lean Action CI #5: Pull request #1 opened by kckennylau
18m 15s add-comparator
add-comparator
18m 15s
feat: add comparator Lean Action CI #4: Commit c060e50 pushed by kckennylau
17m 45s add-comparator
add-comparator
17m 45s
Fix LaTeX rendering issue Lean Action CI #3: Commit b1e1025 pushed by kckennylau
1m 26s main
main
1m 26s
Add Lean 4.28.0 formalisation of Ono's Key Formulas Lean Action CI #2: Commit 3115b2b pushed by jjaassoonn
2m 37s main
main
2m 37s