Skip to content

Actions: lean-ja/math-in-type-theory-ja

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Zenn への言及を Readme に移す github pages #38: Commit 00d53c3 pushed by Seasawher
November 23, 2023 14:46 21s main
main
November 23, 2023 14:46 21s
pages build and deployment pages-build-deployment #21: by github-pages bot
October 12, 2023 11:56 37s
October 12, 2023 11:56 37s
xena-ja へのリンクを削除する github pages #37: Commit 99f97ba pushed by Seasawher
October 12, 2023 11:56 17s main
main
October 12, 2023 11:56 17s
pages build and deployment pages-build-deployment #20: by github-pages bot
October 9, 2023 09:39 37s
October 9, 2023 09:39 37s
github pages github pages #36: by Seasawher
October 9, 2023 09:39 19s main
main
October 9, 2023 09:39 19s
Update README.md github pages #35: Commit 35cb4fc pushed by Seasawher
October 9, 2023 09:32 27s main
main
October 9, 2023 09:32 27s
pages build and deployment pages-build-deployment #19: by github-pages bot
October 9, 2023 04:05 41s
October 9, 2023 04:05 41s
Revert "Mathjax をカスタマイズせず，mdbook 内蔵の mathjax を使用する" github pages #34: Commit a3342ed pushed by Seasawher
October 9, 2023 04:04 23s main
main
October 9, 2023 04:04 23s
pages build and deployment pages-build-deployment #18: by github-pages bot
October 7, 2023 09:17 35s
October 7, 2023 09:17 35s
Mathjax をカスタマイズせず，mdbook 内蔵の mathjax を使用する github pages #33: Commit 56a583a pushed by Seasawher
October 7, 2023 09:17 18s main
main
October 7, 2023 09:17 18s
Merge pull request #11 from lean-ja/add-license github pages #32: Commit 6f5b4e9 pushed by Seasawher
September 11, 2023 12:09 24s main
main
September 11, 2023 12:09 24s
LICENSEの作成 github pages #31: Pull request #11 opened by Seasawher
September 11, 2023 10:28 15s add-license
add-license
September 11, 2023 10:28 15s
pages build and deployment pages-build-deployment #17: by github-pages bot
September 10, 2023 15:10 32s
September 10, 2023 15:10 32s
Merge pull request #10 from aconite-ac/fix-title github pages #30: Commit da9f844 pushed by Seasawher
September 10, 2023 15:10 15s main
main
September 10, 2023 15:10 15s
ドキュメントのタイトルの表記揺れを修正 github pages #29: Pull request #10 opened by aconite-ac
September 10, 2023 14:38 15s aconite-ac:fix-title
aconite-ac:fix-title
September 10, 2023 14:38 15s
pages build and deployment pages-build-deployment #16: by github-pages bot
September 10, 2023 04:41 29s
September 10, 2023 04:41 29s
Merge branch 'develop' github pages #28: Commit 4ce154f pushed by Seasawher
September 10, 2023 04:41 17s main
main
September 10, 2023 04:41 17s
pages build and deployment pages-build-deployment #15: by github-pages bot
September 10, 2023 02:11 39s
September 10, 2023 02:11 39s
Merge pull request #9 from aconite-ac/aconite-review-c7 github pages #27: Commit cdcf9ea pushed by Seasawher
September 10, 2023 02:10 20s main
main
September 10, 2023 02:10 20s
pages build and deployment pages-build-deployment #14: by github-pages bot
September 10, 2023 02:09 31s
September 10, 2023 02:09 31s
Merge pull request #8 from aconite-ac/aconite-review-c6 github pages #26: Commit b84a495 pushed by Seasawher
September 10, 2023 02:09 14s main
main
September 10, 2023 02:09 14s
pages build and deployment pages-build-deployment #13: by github-pages bot
September 10, 2023 01:59 32s
September 10, 2023 01:59 32s
Merge pull request #7 from aconite-ac/aconite-review-c5 github pages #25: Commit 7053fd4 pushed by Seasawher
September 10, 2023 01:58 17s main
main
September 10, 2023 01:58 17s
7章をレビュー github pages #24: Pull request #9 opened by aconite-ac
September 9, 2023 16:43 19s aconite-ac:aconite-review-c7
aconite-ac:aconite-review-c7
September 9, 2023 16:43 19s
6章をレビュー github pages #23: Pull request #8 opened by aconite-ac
September 9, 2023 16:27 17s aconite-ac:aconite-review-c6
aconite-ac:aconite-review-c6
September 9, 2023 16:27 17s