Skip to content

Actions: yuma-mizuno/lean-math-workshop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #41 from Seasawher/update-lean Make Exercise #12: Commit 68384eb pushed by yuma-mizuno
July 13, 2024 20:09 41s master
master
July 13, 2024 20:09 41s
Merge pull request #41 from Seasawher/update-lean Test #44: Commit 68384eb pushed by yuma-mizuno
July 13, 2024 20:09 4m 13s master
master
July 13, 2024 20:09 4m 13s
バージョン更新 Test #43: Pull request #41 opened by Seasawher
July 13, 2024 02:26 4m 17s Seasawher:update-lean
Seasawher:update-lean
July 13, 2024 02:26 4m 17s
Merge pull request #40 from Seasawher/patch-1 Make Exercise #11: Commit 5acd4b9 pushed by yuma-mizuno
July 6, 2024 18:45 40s master
master
July 6, 2024 18:45 40s
Merge pull request #40 from Seasawher/patch-1 Test #42: Commit 5acd4b9 pushed by yuma-mizuno
July 6, 2024 18:45 4m 7s master
master
July 6, 2024 18:45 4m 7s
READMEのリンク集の説明を更新 Test #41: Pull request #40 synchronize by Seasawher
July 6, 2024 18:18 3m 41s Seasawher:patch-1
Seasawher:patch-1
July 6, 2024 18:18 3m 41s
READMEのリンク集の説明を更新 Test #40: Pull request #40 synchronize by Seasawher
July 6, 2024 05:33 3m 35s Seasawher:patch-1
Seasawher:patch-1
July 6, 2024 05:33 3m 35s
READMEのリンク集の説明を更新 Test #39: Pull request #40 opened by Seasawher
July 5, 2024 06:57 4m 30s Seasawher:patch-1
Seasawher:patch-1
July 5, 2024 06:57 4m 30s
Merge pull request #39 from Seasawher/Seasawher/issue38 Make Exercise #10: Commit b6026f9 pushed by yuma-mizuno
June 23, 2024 19:53 49s master
master
June 23, 2024 19:53 49s
Merge pull request #39 from Seasawher/Seasawher/issue38 Test #38: Commit b6026f9 pushed by yuma-mizuno
June 23, 2024 19:53 2m 3s master
master
June 23, 2024 19:53 2m 3s
Lean と Mathlib を v4.8.0 に更新する Test #37: Pull request #39 synchronize by Seasawher
June 23, 2024 16:51 2m 4s Seasawher:Seasawher/issue38
Seasawher:Seasawher/issue38
June 23, 2024 16:51 2m 4s
Lean と Mathlib を v4.8.0 に更新する Test #36: Pull request #39 synchronize by Seasawher
June 23, 2024 16:49 1m 36s Seasawher:Seasawher/issue38
Seasawher:Seasawher/issue38
June 23, 2024 16:49 1m 36s
Lean と Mathlib を v4.8.0 に更新する Test #35: Pull request #39 opened by Seasawher
June 8, 2024 11:31 2m 21s Seasawher:Seasawher/issue38
Seasawher:Seasawher/issue38
June 8, 2024 11:31 2m 21s
Merge pull request #37 from Seasawher/Seasawher-patch-1 Make Exercise #9: Commit 4a69b01 pushed by yuma-mizuno
May 4, 2024 15:52 36s master
master
May 4, 2024 15:52 36s
Merge pull request #37 from Seasawher/Seasawher-patch-1 Test #34: Commit 4a69b01 pushed by yuma-mizuno
May 4, 2024 15:52 2m 0s master
master
May 4, 2024 15:52 2m 0s
Add tactic cheatsheet Test #33: Pull request #37 synchronize by Seasawher
May 4, 2024 14:15 2m 10s Seasawher:Seasawher-patch-1
Seasawher:Seasawher-patch-1
May 4, 2024 14:15 2m 10s
Add tactic cheatsheet Test #32: Pull request #37 opened by Seasawher
April 13, 2024 15:13 1m 29s Seasawher:Seasawher-patch-1
Seasawher:Seasawher-patch-1
April 13, 2024 15:13 1m 29s
Merge pull request #36 from Seasawher/update-lean Test #31: Commit 483b183 pushed by yuma-mizuno
April 9, 2024 19:34 2m 7s master
master
April 9, 2024 19:34 2m 7s
Merge pull request #36 from Seasawher/update-lean Make Exercise #8: Commit 483b183 pushed by yuma-mizuno
April 9, 2024 19:34 42s master
master
April 9, 2024 19:34 42s
Update lean version to v4.7.0 Test #30: Pull request #36 opened by Seasawher
April 9, 2024 15:25 2m 7s Seasawher:update-lean
Seasawher:update-lean
April 9, 2024 15:25 2m 7s
Merge pull request #33 from Seasawher/update-lean Test #29: Commit 14cf67a pushed by yuma-mizuno
April 6, 2024 11:29 2m 1s master
master
April 6, 2024 11:29 2m 1s
Merge pull request #33 from Seasawher/update-lean Make Exercise #7: Commit 14cf67a pushed by yuma-mizuno
April 6, 2024 11:29 33s master
master
April 6, 2024 11:29 33s
Update lean to v4.6.0 Test #28: Pull request #33 synchronize by Seasawher
April 6, 2024 03:13 1m 51s Seasawher:update-lean
Seasawher:update-lean
April 6, 2024 03:13 1m 51s
Update lean to v4.6.0 Test #27: Pull request #33 opened by Seasawher
March 29, 2024 21:10 2m 10s Seasawher:update-lean
Seasawher:update-lean
March 29, 2024 21:10 2m 10s
Merge pull request #31 from Seasawher/dev-env Test #26: Commit 2d88ed9 pushed by yuma-mizuno
February 26, 2024 10:55 1m 43s master
master
February 26, 2024 10:55 1m 43s