Skip to content

Actions: jjdishere/EG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
163 workflow runs
163 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Type _ -> Type* Build #605: Pull request #297 synchronize by FR-vdash-bot
January 18, 2024 17:35 3m 5s FR-vdash-bot:TypeSort
FR-vdash-bot:TypeSort
January 18, 2024 17:35 3m 5s
Type _ -> Type* Build #604: Pull request #297 opened by FR-vdash-bot
January 18, 2024 17:31 3m 13s FR-vdash-bot:TypeSort
FR-vdash-bot:TypeSort
January 18, 2024 17:31 3m 13s
collinear -> Collinear & parallel -> Parallel & perpendicular -> Perpendicular & other name changes Build #603: Pull request #296 synchronize by FR-vdash-bot
January 18, 2024 17:28 3m 6s FR-vdash-bot:naming
FR-vdash-bot:naming
January 18, 2024 17:28 3m 6s
collinear -> Collinear & parallel -> Parallel & perpendicular -> Perpendicular & other name changes Build #602: Pull request #296 synchronize by FR-vdash-bot
January 18, 2024 17:20 3m 0s FR-vdash-bot:naming
FR-vdash-bot:naming
January 18, 2024 17:20 3m 0s
collinear -> Collinear & parallel -> Parallel & perpendicular -> Perpendicular & other name changes Build #601: Pull request #296 synchronize by FR-vdash-bot
January 18, 2024 17:08 2m 55s FR-vdash-bot:naming
FR-vdash-bot:naming
January 18, 2024 17:08 2m 55s
collinear -> Collinear & parallel -> Parallel & perpendicular -> Perpendicular & other name changes Build #600: Pull request #296 opened by FR-vdash-bot
January 18, 2024 17:06 2m 46s FR-vdash-bot:naming
FR-vdash-bot:naming
January 18, 2024 17:06 2m 46s
define and prove properties of orthocenters with vector algebra Build #599: Pull request #294 opened by tonyxty
January 18, 2024 07:46 4m 21s tonyxty:master
tonyxty:master
January 18, 2024 07:46 4m 21s
Adding description of theorems in parallel.lean and perpendicular.lea… Build docs #198: Commit 9f28c9a pushed by jjdishere
January 17, 2024 15:21 16m 17s master
master
January 17, 2024 15:21 16m 17s
Adding description of theorems in parallel.lean and perpendicular.lea… Build #598: Commit 9f28c9a pushed by jjdishere
January 17, 2024 15:21 4m 26s master
master
January 17, 2024 15:21 4m 26s
Adding description of theorems in parallel.lean and perpendicular.lean Build #597: Pull request #293 opened by Liang-Xiao-pku
January 17, 2024 15:19 4m 16s Liang-Xiao-pku:master
Liang-Xiao-pku:master
January 17, 2024 15:19 4m 16s
Merge pull request #292 from Origami233333/master Build #596: Commit 3dd6a7a pushed by jjdishere
January 17, 2024 13:33 4m 11s master
master
January 17, 2024 13:33 4m 11s
Merge pull request #292 from Origami233333/master Build docs #197: Commit 3dd6a7a pushed by jjdishere
January 17, 2024 13:33 16m 38s master
master
January 17, 2024 13:33 16m 38s
Fill all sorries in Ray.lean and a sorry in Line.lean Build #595: Pull request #292 opened by Origami233333
January 17, 2024 13:20 4m 25s Origami233333:master
Origami233333:master
January 17, 2024 13:20 4m 25s
Merge pull request #291 from Thmoas-Guan/master Build docs #196: Commit d184f35 pushed by jjdishere
January 17, 2024 12:39 15m 19s master
master
January 17, 2024 12:39 15m 19s
Merge pull request #291 from Thmoas-Guan/master Build #594: Commit d184f35 pushed by jjdishere
January 17, 2024 12:39 4m 23s master
master
January 17, 2024 12:39 4m 23s
Merge pull request #290 from tonyxty/master Build #593: Commit 9a7c77b pushed by jjdishere
January 17, 2024 12:33 4m 19s master
master
January 17, 2024 12:33 4m 19s
Merge pull request #290 from tonyxty/master Build docs #195: Commit 9a7c77b pushed by jjdishere
January 17, 2024 12:33 16m 1s master
master
January 17, 2024 12:33 16m 1s
finish ray ray intersect in the plan Build #592: Pull request #291 opened by Thmoas-Guan
January 17, 2024 12:30 4m 19s Thmoas-Guan:master
Thmoas-Guan:master
January 17, 2024 12:30 4m 19s
Merge pull request #289 from stupidchunchun/master Build docs #194: Commit ab4d996 pushed by jjdishere
January 17, 2024 12:26 15m 44s master
master
January 17, 2024 12:26 15m 44s
Merge pull request #289 from stupidchunchun/master Build #591: Commit ab4d996 pushed by jjdishere
January 17, 2024 12:26 4m 11s master
master
January 17, 2024 12:26 4m 11s
Merge pull request #284 from kfc2333/master Build #590: Commit 70c383d pushed by jjdishere
January 17, 2024 12:26 4m 22s master
master
January 17, 2024 12:26 4m 22s
Merge pull request #284 from kfc2333/master Build docs #193: Commit 70c383d pushed by jjdishere
January 17, 2024 12:26 16m 20s master
master
January 17, 2024 12:26 16m 20s
Team_D_changed_Parallelogram.lean&Quadrilateral.lean Build #589: Pull request #284 synchronize by kfc2333
January 17, 2024 12:20 4m 14s kfc2333:master
kfc2333:master
January 17, 2024 12:20 4m 14s
Team_D_changed_Parallelogram.lean&Quadrilateral.lean Build #588: Pull request #284 synchronize by kfc2333
January 17, 2024 12:10 3m 59s kfc2333:master
kfc2333:master
January 17, 2024 12:10 3m 59s
prove perpendicular from inner product zero Build #587: Pull request #290 synchronize by tonyxty
January 17, 2024 11:48 4m 21s tonyxty:master
tonyxty:master
January 17, 2024 11:48 4m 21s