Skip to content

Actions: LeanMachineLearning/exposition

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
201 workflow runs
201 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
more robust autogenerated thm detection Lean Action CI #26: Commit ac903ac pushed by RemyDegenne
56s main
main
56s
coercions and aliases fixes Lean Action CI #25: Commit 3edfb9f pushed by RemyDegenne
59s main
main
59s
better detect constructor Lean Action CI #24: Commit d8e5dae pushed by RemyDegenne
49s main
main
49s
fix variable deletion Lean Action CI #23: Commit 519728a pushed by RemyDegenne
1m 3s main
main
1m 3s
links to online editor Lean Action CI #22: Commit 6a50f0c pushed by RemyDegenne
1m 2s main
main
1m 2s
every extracted file compiles Lean Action CI #21: Commit 075bcfa pushed by RemyDegenne
57s main
main
57s
rename Lean Action CI #20: Commit 64b43b1 pushed by RemyDegenne
1m 0s main
main
1m 0s
lake update Lean Action CI #19: Commit 2ca0f69 pushed by RemyDegenne
3m 16s main
main
3m 16s
add tests and fixes Lean Action CI #18: Commit 8c75cf2 pushed by RemyDegenne
56s main
main
56s
fix wrongly excluded defs Lean Action CI #17: Commit 14b067e pushed by RemyDegenne
56s main
main
56s
add prominent details button Lean Action CI #16: Commit 76f8ced pushed by RemyDegenne
52s main
main
52s
make simps lemmas instead of theorems Lean Action CI #15: Commit 7202459 pushed by RemyDegenne
47s main
main
47s
don't show hcongr_XX lemmas Lean Action CI #14: Commit 1933353 pushed by RemyDegenne
50s main
main
50s
optimize Lean Action CI #13: Commit 635a2f1 pushed by RemyDegenne
56s main
main
56s
add def/lem/thm numbers Lean Action CI #12: Commit 8709694 pushed by RemyDegenne
49s main
main
49s
better intro text Lean Action CI #11: Commit 8ee6c9d pushed by RemyDegenne
44s main
main
44s
add file docstring Lean Action CI #10: Commit 48829c6 pushed by RemyDegenne
46s main
main
46s
make docstring blocks pretty Lean Action CI #9: Commit cf9ec75 pushed by RemyDegenne
42s main
main
42s
3 buttons Lean Action CI #8: Commit a93baa4 pushed by RemyDegenne
43s main
main
43s
dont show congr_symm Lean Action CI #7: Commit a2765e5 pushed by RemyDegenne
50s main
main
50s
work Lean Action CI #6: Commit 7c8e001 pushed by RemyDegenne
46s main
main
46s
remove trustedbase code Lean Action CI #5: Commit c50e9d8 pushed by RemyDegenne
1m 1s main
main
1m 1s
add graphs Lean Action CI #4: Commit 0fe46c7 pushed by RemyDegenne
47s main
main
47s
update details page Lean Action CI #3: Commit 94239aa pushed by RemyDegenne
55s main
main
55s
detailed declaration pages Lean Action CI #2: Commit 107a414 pushed by RemyDegenne
50s main
main
50s