Skip to content

Actions: lean-ja/lean99

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
500 workflow runs
500 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Lean Update Lean #5: Scheduled
July 18, 2024 11:09 30s main
main
July 18, 2024 11:09 30s
github_actions in /. - Update #857472669 Dependabot Updates #2: by dependabot bot
July 18, 2024 08:54 34s
July 18, 2024 08:54 34s
github_actions in /. - Update #856965295 Dependabot Updates #1: by dependabot bot
July 17, 2024 08:39 40s
July 17, 2024 08:39 40s
add P49 Deploy to github pages #146: Commit ed92f39 pushed by Seasawher
July 15, 2024 16:20 44s main
main
July 15, 2024 16:20 44s
add P49 Test #146: Commit ed92f39 pushed by Seasawher
July 15, 2024 16:20 30s main
main
July 15, 2024 16:20 30s
Merge pull request #26 from lean-ja/auto-update/patch-1on3rqi Deploy to github pages #145: Commit 1ca5d6b pushed by Seasawher
July 11, 2024 11:42 51s main
main
July 11, 2024 11:42 51s
Merge pull request #26 from lean-ja/auto-update/patch-1on3rqi Test #145: Commit 1ca5d6b pushed by Seasawher
July 11, 2024 11:42 34s main
main
July 11, 2024 11:42 34s
Update Lean Update Lean #4: Scheduled
July 11, 2024 11:09 31s main
main
July 11, 2024 11:09 31s
use Std.range Deploy to github pages #144: Commit 20304a6 pushed by Seasawher
July 10, 2024 02:09 47s main
main
July 10, 2024 02:09 47s
use Std.range Test #144: Commit 20304a6 pushed by Seasawher
July 10, 2024 02:09 19s main
main
July 10, 2024 02:09 19s
update test code Test #143: Commit b1b1f97 pushed by Seasawher
July 9, 2024 14:02 19s main
main
July 9, 2024 14:02 19s
update test code Deploy to github pages #143: Commit b1b1f97 pushed by Seasawher
July 9, 2024 14:02 1m 0s main
main
July 9, 2024 14:02 1m 0s
solve P47 and P48 Deploy to github pages #142: Commit 2cfcc75 pushed by Seasawher
July 9, 2024 13:55 50s main
main
July 9, 2024 13:55 50s
solve P47 and P48 Test #142: Commit 2cfcc75 pushed by Seasawher
July 9, 2024 13:55 21s main
main
July 9, 2024 13:55 21s
Merge pull request #24 from lean-ja/auto-update/patch-flxbegp Deploy to github pages #141: Commit a352311 pushed by Seasawher
July 4, 2024 11:34 46s main
main
July 4, 2024 11:34 46s
Merge pull request #24 from lean-ja/auto-update/patch-flxbegp Test #141: Commit a352311 pushed by Seasawher
July 4, 2024 11:34 31s main
main
July 4, 2024 11:34 31s
Update Lean Update Lean #3: Scheduled
July 4, 2024 11:10 43s main
main
July 4, 2024 11:10 43s
Merge pull request #23 from lean-ja/feature/problem41and46 Test #140: Commit 37bf142 pushed by Seasawher
July 3, 2024 05:01 22s main
main
July 3, 2024 05:01 22s
Merge pull request #23 from lean-ja/feature/problem41and46 Deploy to github pages #140: Commit 37bf142 pushed by Seasawher
July 3, 2024 05:01 44s main
main
July 3, 2024 05:01 44s
solve 41 and 46 Deploy to github pages #139: Pull request #23 synchronize by Seasawher
July 3, 2024 05:01 32s feature/problem41and46
feature/problem41and46
July 3, 2024 05:01 32s
solve 41 and 46 Test #139: Pull request #23 synchronize by Seasawher
July 3, 2024 05:01 28s feature/problem41and46
feature/problem41and46
July 3, 2024 05:01 28s
solve 41 and 46 Deploy to github pages #138: Pull request #23 synchronize by Seasawher
July 3, 2024 04:56 39s feature/problem41and46
feature/problem41and46
July 3, 2024 04:56 39s
solve 41 and 46 Test #138: Pull request #23 synchronize by Seasawher
July 3, 2024 04:56 21s feature/problem41and46
feature/problem41and46
July 3, 2024 04:56 21s
solve 41 and 46 Test #137: Pull request #23 opened by ondanaoto
July 1, 2024 15:15 25s feature/problem41and46
feature/problem41and46
July 1, 2024 15:15 25s
solve 41 and 46 Deploy to github pages #137: Pull request #23 opened by ondanaoto
July 1, 2024 15:15 29s feature/problem41and46
feature/problem41and46
July 1, 2024 15:15 29s