Skip to content

Actions: jjdishere/EG

Actions

Build docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yaml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated Tactic Congruence (#303) Build docs #207: Commit 1860805 pushed by jjdishere
March 21, 2024 05:35 16m 2s master
master
March 21, 2024 05:35 16m 2s
Orthocenter construction (#302) Build docs #206: Commit 8b217fa pushed by jjdishere
March 4, 2024 09:28 16m 12s master
master
March 4, 2024 09:28 16m 12s
Complete the part of Position/Angle and problem 2 of IMO in 2007 (#301) Build docs #205: Commit 0bf78fb pushed by jjdishere
March 4, 2024 08:51 16m 0s master
master
March 4, 2024 08:51 16m 0s
fix order.lean Build docs #204: Commit 16d6c87 pushed by jjdishere
January 22, 2024 08:57 15m 36s master
master
January 22, 2024 08:57 15m 36s
added Linear.Order (#300) Build docs #203: Commit 905e90a pushed by jjdishere
January 22, 2024 03:19 4m 38s master
master
January 22, 2024 03:19 4m 38s
implicit parameters in iff lemma (#299) Build docs #202: Commit d6eb409 pushed by jjdishere
January 22, 2024 03:19 16m 0s master
master
January 22, 2024 03:19 16m 0s
Type _ -> Type* (#297) Build docs #201: Commit 431dc1a pushed by jjdishere
January 20, 2024 13:57 15m 56s master
master
January 20, 2024 13:57 15m 56s
Merge pull request #298 from Noaillesss/master Build docs #200: Commit 2e748e0 pushed by jjdishere
January 19, 2024 15:13 15m 55s master
master
January 19, 2024 15:13 15m 55s
collinear -> Collinear & parallel -> Parallel & `perpendicula… Build docs #199: Commit 8210126 pushed by jjdishere
January 19, 2024 06:17 15m 57s master
master
January 19, 2024 06:17 15m 57s
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
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
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 #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
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 #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
Merge pull request #288 from mbkybky/master Build docs #192: Commit 9ae6cb1 pushed by jjdishere
January 17, 2024 10:50 15m 40s master
master
January 17, 2024 10:50 15m 40s
Merge pull request #286 from stupidchunchun/master Build docs #191: Commit 70e6de2 pushed by jjdishere
January 16, 2024 12:14 15m 35s master
master
January 16, 2024 12:14 15m 35s
Merge pull request #287 from negiizhao/collinear Build docs #190: Commit 98c8e5b pushed by jjdishere
January 16, 2024 12:06 15m 59s master
master
January 16, 2024 12:06 15m 59s
Merge pull request #285 from Thmoas-Guan/master Build docs #189: Commit d8a4609 pushed by jjdishere
January 16, 2024 11:57 16m 8s master
master
January 16, 2024 11:57 16m 8s
GPT generated comment to Line Build docs #188: Commit 9fcd9f7 pushed by jjdishere
January 15, 2024 06:20 15m 34s master
master
January 15, 2024 06:20 15m 34s
Merge pull request #283 from stupidchunchun/master Build docs #187: Commit 7a3f5fe pushed by jjdishere
January 14, 2024 16:27 16m 11s master
master
January 14, 2024 16:27 16m 11s
Merge pull request #282 from mbkybky/master Build docs #186: Commit f776756 pushed by jjdishere
January 14, 2024 16:26 15m 34s master
master
January 14, 2024 16:26 15m 34s
Merge pull request #281 from Thmoas-Guan/master Build docs #185: Commit 45e81e3 pushed by jjdishere
January 14, 2024 12:07 15m 53s master
master
January 14, 2024 12:07 15m 53s
Merge pull request #280 from Thmoas-Guan/master Build docs #184: Commit 1882936 pushed by jjdishere
January 14, 2024 11:36 15m 30s master
master
January 14, 2024 11:36 15m 30s
Merge pull request #279 from Noaillesss/master Build docs #183: Commit 8c1190b pushed by jjdishere
January 14, 2024 07:12 16m 17s master
master
January 14, 2024 07:12 16m 17s