Skip to content

Actions: lean-ja/lean-by-example

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
691 workflow runs
691 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #2284 from lean-ja/dependabot/github_actions/actio… CI #2315: Commit 702f08f pushed by Seasawher
10m 40s main
main
10m 40s
Bump actions/upload-pages-artifact from 4 to 5 CI #2314: Pull request #2284 opened by dependabot Bot
4m 42s dependabot/github_actions/actions/upload-pages-artifact-5
dependabot/github_actions/actions/upload-pages-artifact-5
4m 42s
mdgen のバージョン更新 CI #2313: Commit 0e3e014 pushed by Seasawher
12m 45s main
main
12m 45s
Lean のバージョン更新（まだ warning が残っている） CI #2312: Commit e90e358 pushed by Seasawher
11m 29s main
main
11m 29s
Merge pull request #2281 from lean-ja/dependabot/github_actions/actio… CI #2311: Commit 7d389e8 pushed by Seasawher
12m 12s main
main
12m 12s
Bump actions/deploy-pages from 4 to 5 CI #2310: Pull request #2281 opened by dependabot Bot
1m 52s dependabot/github_actions/actions/deploy-pages-5
dependabot/github_actions/actions/deploy-pages-5
1m 52s
guard_msgs で部分文字列をチェックする CI #2309: Commit 05fa53a pushed by Seasawher
9m 9s main
main
9m 9s
Mathlibのバージョン更新 CI #2308: Commit 8fc0764 pushed by Seasawher
17m 57s main
main
17m 57s
grind_guid ファイルがなくなっていたので削除 CI #2307: Commit 3d56467 pushed by Seasawher
17m 50s main
main
17m 50s
Lean のバージョン更新 CI #2306: Commit f5618ab pushed by Seasawher
4m 20s main
main
4m 20s
Lean と Mathlib のバージョン更新 CI #2305: Commit e2d7e5f pushed by Seasawher
14m 44s main
main
14m 44s
Merge pull request #2276 from lean-ja/auto-update-lean/patch CI #2304: Commit 0f85b83 pushed by Seasawher
18m 57s main
main
18m 57s
hintタクティクのページの修正 CI #2303: Commit 44f5a1d pushed by Seasawher
18m 27s main
main
18m 27s
Leanのバージョンを v4.28.0-rc1 に更新する CI #2302: Commit 05f11f6 pushed by Seasawher
10m 25s main
main
10m 25s
Merge pull request #2272 from lean-ja/auto-update-lean/patch CI #2301: Commit ab27469 pushed by Seasawher
19m 25s main
main
19m 25s
variable で指定すると再帰がうまくいかない CI #2300: Commit 17e4a6a pushed by Seasawher
9m 38s main
main
9m 38s
variable のページの説明の誤りを修正 CI #2299: Commit 3c1f81b pushed by Seasawher
5m 19s main
main
5m 19s
Type Checking in Lean4 CI #2298: Commit d5dbdb6 pushed by Seasawher
4m 40s main
main
4m 40s
syntax highlight の定義の更新 CI #2297: Commit 7280e3b pushed by Seasawher
7m 52s main
main
7m 52s
Mathlibのアップデート CI #2296: Commit 72656bc pushed by Seasawher
20m 59s main
main
20m 59s
From Zero to Qed をリンク集に載せる CI #2295: Commit 04fb3b9 pushed by Seasawher
18m 22s main
main
18m 22s
Moogle を再び検索ツールとして紹介する CI #2294: Commit a06bbc8 pushed by Seasawher
3m 6s main
main
3m 6s
整礎再帰と構造的再帰について説明する CI #2293: Commit 3363d22 pushed by Seasawher
8m 32s main
main
8m 32s
decide が早見表から抜けていたので補う CI #2292: Commit 37ab488 pushed by Seasawher
5m 46s main
main
5m 46s
「よく使うタクティク早見表」を試験的に作る CI #2291: Commit 323875f pushed by Seasawher
2m 59s main
main
2m 59s