Skip to content

Actions: lean-ja/lean-ja.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
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