Skip to content

Actions: jjdishere/EG

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
603 workflow runs
603 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

mostly changes in exercises Build #52: Pull request #97 synchronize by Liang-Xiao-pku
September 23, 2023 11:55 2m 12s Liang-Xiao-pku:master
Liang-Xiao-pku:master
September 23, 2023 11:55 2m 12s
Proof of the theorem inx_lies_on_fst_extn_line Build #51: Pull request #102 opened by mbkybky
September 23, 2023 10:25 2m 29s master
master
September 23, 2023 10:25 2m 29s
IsocelesTriangle.lean Team B 8 ZheHaozheng Build #50: Pull request #100 opened by stupidchunchun
September 23, 2023 08:59 2m 9s stupidchunchun:master
stupidchunchun:master
September 23, 2023 08:59 2m 9s
Team H changed Trigonometric.lean Build #49: Pull request #99 opened by hkskcyiv
September 23, 2023 08:03 2m 19s hkskcyiv:master
hkskcyiv:master
September 23, 2023 08:03 2m 19s
Team_D_project_changed_Plane.lean_and_Ray.lean Build #48: Pull request #98 opened by kfc2333
September 23, 2023 07:41 2m 14s kfc2333:master
kfc2333:master
September 23, 2023 07:41 2m 14s
mostly changes in exercises Build #47: Pull request #97 opened by Liang-Xiao-pku
September 23, 2023 06:07 2m 19s Liang-Xiao-pku:master
Liang-Xiao-pku:master
September 23, 2023 06:07 2m 19s
Merge pull request #96 from mathzhuonichi/master Build #46: Commit 97437fe pushed by jjdishere
September 23, 2023 06:06 2m 12s master
master
September 23, 2023 06:06 2m 12s
Team_F_Changed_Ray_ex.lean Build #45: Pull request #96 opened by mathzhuonichi
September 22, 2023 10:37 2m 17s mathzhuonichi:master
mathzhuonichi:master
September 22, 2023 10:37 2m 17s
Update Vector.lean Build #44: Commit b186e96 pushed by jjdishere
September 21, 2023 16:28 2m 11s master
master
September 21, 2023 16:28 2m 11s
ANG Build #43: Commit 1cbb3f4 pushed by jjdishere
September 21, 2023 14:54 2m 7s master
master
September 21, 2023 14:54 2m 7s
Update TeamProject.lean Build #42: Commit a35504b pushed by jjdishere
September 21, 2023 13:12 2m 8s master
master
September 21, 2023 13:12 2m 8s
restructure Build #41: Commit 070c7cd pushed by jjdishere
September 21, 2023 13:08 2m 33s master
master
September 21, 2023 13:08 2m 33s
parallel Build #40: Commit 352811d pushed by jjdishere
September 21, 2023 12:26 2m 6s master
master
September 21, 2023 12:26 2m 6s
Abstract Nonsense Build #39: Commit 9d4fb96 pushed by jjdishere
September 21, 2023 08:21 2m 6s master
master
September 21, 2023 08:21 2m 6s
Merge pull request #95 from mathzhuonichi/master Build #38: Commit 423d823 pushed by jjdishere
September 21, 2023 06:54 2m 18s master
master
September 21, 2023 06:54 2m 18s
Team_F_Changed_Ray_ex2.lean Build #37: Pull request #95 opened by mathzhuonichi
September 21, 2023 05:54 2m 17s mathzhuonichi:master
mathzhuonichi:master
September 21, 2023 05:54 2m 17s
Team_F_Changed_Ray_ex2.lean Build #36: Pull request #93 synchronize by mathzhuonichi
September 21, 2023 03:54 2m 4s mathzhuonichi:master
mathzhuonichi:master
September 21, 2023 03:54 2m 4s
Team_F_Changed_Ray_ex2.lean Build #35: Pull request #93 synchronize by mathzhuonichi
September 21, 2023 03:30 2m 34s mathzhuonichi:master
mathzhuonichi:master
September 21, 2023 03:30 2m 34s
Team_F_Changed_Ray_ex2.lean Build #34: Pull request #93 synchronize by mathzhuonichi
September 21, 2023 03:00 2m 34s mathzhuonichi:master
mathzhuonichi:master
September 21, 2023 03:00 2m 34s
Merge pull request #94 from Liang-Xiao-pku/master Build #33: Commit d242ad3 pushed by jjdishere
September 20, 2023 15:51 2m 8s master
master
September 20, 2023 15:51 2m 8s
mostly to update Ray_ex.lean Build #32: Pull request #94 opened by Liang-Xiao-pku
September 20, 2023 15:46 2m 28s Liang-Xiao-pku:master
Liang-Xiao-pku:master
September 20, 2023 15:46 2m 28s
Team_F_Changed_Ray_ex2.lean Build #31: Pull request #93 opened by mathzhuonichi
September 20, 2023 14:19 2m 19s mathzhuonichi:master
mathzhuonichi:master
September 20, 2023 14:19 2m 19s
Merge pull request #92 from diamondwyf1998/master Build #30: Commit f7a7c0e pushed by jjdishere
September 20, 2023 14:18 2m 3s master
master
September 20, 2023 14:18 2m 3s
Update Unused.lean Build #29: Pull request #92 opened by diamondwyf1998
September 20, 2023 14:17 2m 13s diamondwyf1998:master
diamondwyf1998:master
September 20, 2023 14:17 2m 13s
Update TeamProject.lean Build #28: Commit f528440 pushed by jjdishere
September 20, 2023 11:22 2m 34s master
master
September 20, 2023 11:22 2m 34s
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.