Skip to content

Actions: lean-ja/lean99

Deploy to github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
191 workflow runs
191 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: runCmd invalid arguments
Deploy to github pages #66: Commit 2ba6f4f pushed by Seasawher
March 23, 2024 02:46 48s main
March 23, 2024 02:46 48s
add P23: WIP
Deploy to github pages #65: Commit b6c86cb pushed by Seasawher
March 22, 2024 13:39 52s main
March 22, 2024 13:39 52s
update solutuion of P21
Deploy to github pages #64: Commit 4cf28c7 pushed by Seasawher
March 20, 2024 12:46 58s main
March 20, 2024 12:46 58s
add difficulty to P21, P22
Deploy to github pages #63: Commit 8a730dc pushed by Seasawher
March 20, 2024 12:43 51s main
March 20, 2024 12:43 51s
add Problem 22
Deploy to github pages #62: Commit bfdca19 pushed by Seasawher
March 20, 2024 12:40 1m 8s main
March 20, 2024 12:40 1m 8s
add Problem 21
Deploy to github pages #61: Commit c0847b1 pushed by Seasawher
March 20, 2024 12:27 57s main
March 20, 2024 12:27 57s
hide solution
Deploy to github pages #60: Commit 01de3b5 pushed by Seasawher
March 20, 2024 12:18 54s main
March 20, 2024 12:18 54s
add Problem 19
Deploy to github pages #59: Commit 6a62e30 pushed by Seasawher
March 20, 2024 12:13 52s main
March 20, 2024 12:13 52s
add Problem 18
Deploy to github pages #58: Commit 414bea6 pushed by Seasawher
March 20, 2024 12:09 58s main
March 20, 2024 12:09 58s
add star to difficulty
Deploy to github pages #57: Commit 1a4a88c pushed by Seasawher
March 19, 2024 22:36 47s main
March 19, 2024 22:36 47s
add difficulty description
Deploy to github pages #56: Commit e03a854 pushed by Seasawher
March 19, 2024 22:33 54s main
March 19, 2024 22:33 54s
add Problem 17
Deploy to github pages #55: Commit f643ddf pushed by Seasawher
March 19, 2024 22:07 49s main
March 19, 2024 22:07 49s
update Problem 5
Deploy to github pages #54: Commit 0bcce02 pushed by Seasawher
March 19, 2024 21:55 43s main
March 19, 2024 21:55 43s
Merge branch 'filePlay'
Deploy to github pages #53: Commit b9f1dfb pushed by Seasawher
March 19, 2024 21:50 56s main
March 19, 2024 21:50 56s
add Problem16
Deploy to github pages #52: Commit d2ad36b pushed by Seasawher
March 19, 2024 21:35 51s main
March 19, 2024 21:35 51s
add Problem 13
Deploy to github pages #51: Commit 8b41f1a pushed by Seasawher
March 19, 2024 12:48 48s main
March 19, 2024 12:48 48s
Merge pull request #11 from lean-ja/Q20
Deploy to github pages #50: Commit 2d9de60 pushed by Seasawher
March 19, 2024 01:16 50s main
March 19, 2024 01:16 50s
Q20
Deploy to github pages #49: Pull request #11 synchronize by Seasawher
March 19, 2024 01:15 47s Q20
Q20
March 19, 2024 01:15 47s
Q20
Deploy to github pages #48: Pull request #11 opened by csharpython
March 18, 2024 22:36 38s Q20
Q20
March 18, 2024 22:36 38s
fix CI error. add namespace
Deploy to github pages #47: Commit 1035956 pushed by Seasawher
March 18, 2024 13:46 55s main
March 18, 2024 13:46 55s
fix Problem10's statement
Deploy to github pages #46: Commit e94489c pushed by Seasawher
March 18, 2024 13:41 1m 0s main
March 18, 2024 13:41 1m 0s
add Solution12
Deploy to github pages #45: Commit c2bf0ca pushed by Seasawher
March 18, 2024 13:23 51s main
March 18, 2024 13:23 51s
hide solution
Deploy to github pages #44: Commit d1714b4 pushed by Seasawher
March 18, 2024 13:12 54s main
March 18, 2024 13:12 54s
Merge branch 'main' of https://github.com/lean-ja/lean99
Deploy to github pages #43: Commit 8bdd948 pushed by Seasawher
March 18, 2024 13:10 51s main
March 18, 2024 13:10 51s
Merge pull request #9 from lean-ja/Q14,Q15
Deploy to github pages #42: Commit 6464dc1 pushed by Seasawher
March 18, 2024 11:54 54s main
March 18, 2024 11:54 54s