Skip to content

Actions: lean-ja/lean-by-example

Actions

Link Check and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
1,192 workflow runs
1,192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1100 from lean-ja/Seasawher/issue1073 Link Check and Deploy #1167: Commit 9adac43 pushed by Seasawher
November 14, 2024 13:54 1m 27s main
main
November 14, 2024 13:54 1m 27s
apply と exact の違い Link Check and Deploy #1166: Pull request #1100 opened by Seasawher
November 14, 2024 13:52 1m 9s Seasawher/issue1073
Seasawher/issue1073
November 14, 2024 13:52 1m 9s
演習問題の解き方の説明を修正する Link Check and Deploy #1165: Commit 8c19f93 pushed by Seasawher
November 14, 2024 13:27 1m 35s main
main
November 14, 2024 13:27 1m 35s
Merge pull request #1099 from lean-ja/Seasawher/issue1096 Link Check and Deploy #1164: Commit 6410967 pushed by Seasawher
November 14, 2024 12:06 1m 45s main
main
November 14, 2024 12:06 1m 45s
バージョン更新忘れ Link Check and Deploy #1163: Pull request #1099 opened by Seasawher
November 14, 2024 12:04 1m 11s Seasawher/issue1096
Seasawher/issue1096
November 14, 2024 12:04 1m 11s
Mathlib のバージョン更新 Link Check and Deploy #1162: Commit a20f150 pushed by Seasawher
November 14, 2024 06:04 1m 24s main
main
November 14, 2024 06:04 1m 24s
Mathlib #help の出力へのリンクが間違っていたので修正する Link Check and Deploy #1161: Commit b10bb78 pushed by Seasawher
November 13, 2024 21:48 1m 30s main
main
November 13, 2024 21:48 1m 30s
inductive を定義するとき、where を省略しない Link Check and Deploy #1160: Commit 40a53d5 pushed by Seasawher
November 13, 2024 21:45 1m 22s main
main
November 13, 2024 21:45 1m 22s
induction タクティクのコード例の誤りを修正 Link Check and Deploy #1159: Commit 1f29f9f pushed by Seasawher
November 13, 2024 21:35 1m 27s main
main
November 13, 2024 21:35 1m 27s
Merge pull request #1093 from lean-ja/Seasawher/issue1092 Link Check and Deploy #1158: Commit 04bb400 pushed by Seasawher
November 13, 2024 21:32 1m 31s main
main
November 13, 2024 21:32 1m 31s
タグを使用しない Link Check and Deploy #1157: Pull request #1093 opened by Seasawher
November 13, 2024 21:30 1m 26s Seasawher/issue1092
Seasawher/issue1092
November 13, 2024 21:30 1m 26s
単に言及するだけでなくリンクにする Link Check and Deploy #1156: Commit 2719d47 pushed by Seasawher
November 13, 2024 21:21 1m 47s main
main
November 13, 2024 21:21 1m 47s
オプションの有効範囲の問題を修正する Link Check and Deploy #1155: Commit 8bb5c5d pushed by Seasawher
November 12, 2024 18:40 1m 46s main
main
November 12, 2024 18:40 1m 46s
Merge pull request #1089 from lean-ja/Seasawher/issue1006 Link Check and Deploy #1154: Commit 582ec41 pushed by Seasawher
November 12, 2024 18:11 1m 26s main
main
November 12, 2024 18:11 1m 26s
linter.style.multiGoal を紹介する Link Check and Deploy #1153: Pull request #1089 synchronize by Seasawher
November 12, 2024 18:09 1m 24s Seasawher/issue1006
Seasawher/issue1006
November 12, 2024 18:09 1m 24s
linter.style.multiGoal を紹介する Link Check and Deploy #1152: Pull request #1089 synchronize by Seasawher
November 12, 2024 17:59 1m 22s Seasawher/issue1006
Seasawher/issue1006
November 12, 2024 17:59 1m 22s
linter.style.multiGoal を紹介する Link Check and Deploy #1151: Pull request #1089 synchronize by Seasawher
November 12, 2024 17:49 1m 22s Seasawher/issue1006
Seasawher/issue1006
November 12, 2024 17:49 1m 22s
linter.style.multiGoal を紹介する Link Check and Deploy #1150: Pull request #1089 opened by Seasawher
November 12, 2024 17:43 1m 20s Seasawher/issue1006
Seasawher/issue1006
November 12, 2024 17:43 1m 20s
Merge pull request #1088 from lean-ja/Seasawher/issue1056 Link Check and Deploy #1149: Commit d17fbdc pushed by Seasawher
November 12, 2024 17:25 1m 27s main
main
November 12, 2024 17:25 1m 27s
LawfulFunctor を紹介する Link Check and Deploy #1148: Pull request #1088 opened by Seasawher
November 12, 2024 17:23 1m 11s Seasawher/issue1056
Seasawher/issue1056
November 12, 2024 17:23 1m 11s
HMul 型クラスが目次に漏れていたので追加する Link Check and Deploy #1147: Commit 0afaf50 pushed by Seasawher
November 12, 2024 12:55 1m 30s main
main
November 12, 2024 12:55 1m 30s
帰納的述語 vs 再帰関数の説明を日本語として洗練させる Link Check and Deploy #1146: Commit d4afb3c pushed by Seasawher
November 12, 2024 12:10 1m 25s main
main
November 12, 2024 12:10 1m 25s
「帰納的述語」という言葉を好んで使用する Link Check and Deploy #1145: Commit 7a85902 pushed by Seasawher
November 12, 2024 12:05 1m 40s main
main
November 12, 2024 12:05 1m 40s
Merge pull request #1084 from lean-ja/Seasawher/issue1083 Link Check and Deploy #1144: Commit 5bfb6ee pushed by Seasawher
November 11, 2024 20:17 1m 33s main
main
November 11, 2024 20:17 1m 33s
HMul 型クラスを紹介する Link Check and Deploy #1143: Pull request #1084 opened by Seasawher
November 11, 2024 20:15 1m 9s Seasawher/issue1083
Seasawher/issue1083
November 11, 2024 20:15 1m 9s