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
add characterizations Lean Action CI #58: Commit 11703b5 pushed by RemyDegenne
1m 41s main
main
1m 41s
fix a bug Lean Action CI #57: Commit b099a84 pushed by RemyDegenne
1m 18s v0.1.6
v0.1.6
1m 18s
fix a bug Publish Referee Binary #18: Commit b099a84 pushed by RemyDegenne
1m 38s v0.1.6
v0.1.6
1m 38s
fix a bug Publish Referee Binary #17: Commit b099a84 pushed by RemyDegenne
1m 21s main
main
1m 21s
fix a bug Lean Action CI #56: Commit b099a84 pushed by RemyDegenne
1m 19s main
main
1m 19s
remove useless info Publish Referee Binary #16: Commit 62cc44d pushed by RemyDegenne
1m 32s v0.1.5
v0.1.5
1m 32s
remove useless info Lean Action CI #55: Commit 62cc44d pushed by RemyDegenne
1m 21s v0.1.5
v0.1.5
1m 21s
remove useless info Lean Action CI #54: Commit 62cc44d pushed by RemyDegenne
1m 11s main
main
1m 11s
remove useless info Publish Referee Binary #15: Commit 62cc44d pushed by RemyDegenne
1m 19s main
main
1m 19s
Add Apache License 2.0 Lean Action CI #53: Commit 0b9f39d pushed by RemyDegenne
55s main
main
55s
Add Apache License 2.0 Publish Referee Binary #14: Commit 0b9f39d pushed by RemyDegenne
57s main
main
57s
move design docs Lean Action CI #52: Commit e851074 pushed by RemyDegenne
46s v0.1.4
v0.1.4
46s
move design docs Publish Referee Binary #13: Commit e851074 pushed by RemyDegenne
1m 11s v0.1.4
v0.1.4
1m 11s
move design docs Publish Referee Binary #12: Commit e851074 pushed by RemyDegenne
1m 18s main
main
1m 18s
move design docs Lean Action CI #51: Commit e851074 pushed by RemyDegenne
1m 16s main
main
1m 16s
documentation Lean Action CI #50: Commit eb25e19 pushed by RemyDegenne
45s main
main
45s
documentation Publish Referee Binary #11: Commit eb25e19 pushed by RemyDegenne
48s main
main
48s
changes per commit Publish Referee Binary #10: Commit a7620ba pushed by RemyDegenne
1m 34s v0.1.3
v0.1.3
1m 34s
changes per commit Lean Action CI #49: Commit a7620ba pushed by RemyDegenne
1m 19s v0.1.3
v0.1.3
1m 19s
changes per commit Lean Action CI #48: Commit a7620ba pushed by RemyDegenne
1m 25s main
main
1m 25s
changes per commit Publish Referee Binary #9: Commit a7620ba pushed by RemyDegenne
1m 31s main
main
1m 31s
lemmas and to_dual Publish Referee Binary #8: Commit c1ea508 pushed by RemyDegenne
1m 29s v0.1.2
v0.1.2
1m 29s
lemmas and to_dual Lean Action CI #47: Commit c1ea508 pushed by RemyDegenne
1m 12s v0.1.2
v0.1.2
1m 12s
lemmas and to_dual Publish Referee Binary #7: Commit c1ea508 pushed by RemyDegenne
1m 1s main
main
1m 1s
lemmas and to_dual Lean Action CI #46: Commit c1ea508 pushed by RemyDegenne
1m 7s main
main
1m 7s