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
work Lean Action CI #70: Commit 0714422 pushed by RemyDegenne
1m 26s main
main
1m 26s
work Publish Referee Binary #31: Commit 0714422 pushed by RemyDegenne
1m 21s main
main
1m 21s
add proofs Lean Action CI #69: Commit 13d0ff9 pushed by RemyDegenne
1m 25s main
main
1m 25s
add proofs Publish Referee Binary #30: Commit 13d0ff9 pushed by RemyDegenne
1m 21s main
main
1m 21s
refactor lemma detection Publish Referee Binary #29: Commit 7e902e4 pushed by RemyDegenne
1m 29s v0.1.10
v0.1.10
1m 29s
refactor lemma detection Lean Action CI #68: Commit 7e902e4 pushed by RemyDegenne
1m 15s v0.1.10
v0.1.10
1m 15s
refactor lemma detection Lean Action CI #67: Commit 7e902e4 pushed by RemyDegenne
1m 22s main
main
1m 22s
refactor lemma detection Publish Referee Binary #28: Commit 7e902e4 pushed by RemyDegenne
1m 32s main
main
1m 32s
fix sorry source reporting Lean Action CI #66: Commit cfa4b09 pushed by RemyDegenne
1m 15s v0.1.9
v0.1.9
1m 15s
fix sorry source reporting Publish Referee Binary #27: Commit cfa4b09 pushed by RemyDegenne
1m 46s v0.1.9
v0.1.9
1m 46s
fix sorry source reporting Publish Referee Binary #26: Commit cfa4b09 pushed by RemyDegenne
1m 25s main
main
1m 25s
fix sorry source reporting Lean Action CI #65: Commit cfa4b09 pushed by RemyDegenne
1m 25s main
main
1m 25s
put LeanDeps in a separate package Publish Referee Binary #25: Commit 23c0b2c pushed by RemyDegenne
5m 28s main
main
5m 28s
put LeanDeps in a separate package Lean Action CI #64: Commit 23c0b2c pushed by RemyDegenne
4m 57s main
main
4m 57s
adapt ci reco Lean Action CI #63: Commit 7eab898 pushed by RemyDegenne
48s main
main
48s
adapt ci reco Publish Referee Binary #24: Commit 7eab898 pushed by RemyDegenne
48s main
main
48s
changes page fix Lean Action CI #62: Commit 6b1da0c pushed by RemyDegenne
1m 24s v0.1.8
v0.1.8
1m 24s
changes page fix Publish Referee Binary #23: Commit 6b1da0c pushed by RemyDegenne
1m 23s v0.1.8
v0.1.8
1m 23s
changes page fix Publish Referee Binary #22: Commit 6b1da0c pushed by RemyDegenne
1m 8s main
main
1m 8s
changes page fix Lean Action CI #61: Commit 6b1da0c pushed by RemyDegenne
1m 10s main
main
1m 10s
website changes for characterizations Lean Action CI #60: Commit bf020eb pushed by RemyDegenne
1m 15s v0.1.7
v0.1.7
1m 15s
website changes for characterizations Publish Referee Binary #21: Commit bf020eb pushed by RemyDegenne
1m 33s v0.1.7
v0.1.7
1m 33s
website changes for characterizations Publish Referee Binary #20: Commit bf020eb pushed by RemyDegenne
1m 16s main
main
1m 16s
website changes for characterizations Lean Action CI #59: Commit bf020eb pushed by RemyDegenne
1m 14s main
main
1m 14s
add characterizations Publish Referee Binary #19: Commit 11703b5 pushed by RemyDegenne
1m 43s main
main
1m 43s