Build and deploy GH Pages · Workflow runs · lean-ja/lean-ja.github.io · GitHub

Actions

All workflows
Workflows
- Build and deploy GH Pages Build and deploy GH Pages
Management
- Caches
- Deployments

Build and deploy GH Pages

Actions

Loading...
Loading

6 workflow runs

6 workflow runs

favicon の四隅が黒色になっていたのを透過に修正 Build and deploy GH Pages #44: Commit 0ff3e50 pushed by Seasawher

37s main

main

37s

Mathlib は不要なので削除する Build and deploy GH Pages #43: Commit 835644c pushed by Seasawher

1m 12s main

main

1m 12s

スパム除けのためにリンクを変更 Build and deploy GH Pages #42: Commit c0ebe43 pushed by Seasawher

1m 12s main

main

1m 12s

favicon を追加する Build and deploy GH Pages #41: Commit bc71b2a pushed by Seasawher

39s main

main

39s

URLの修正 Build and deploy GH Pages #40: Commit 326e567 pushed by Seasawher

35s main

main

35s

lean-ja へのリンクをリンク集にも用意する Build and deploy GH Pages #39: Commit 9ecf3a1 pushed by Seasawher

42s main

main

42s