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

5章をレビュー github pages #22: Pull request #7 opened by aconite-ac
September 9, 2023 15:54 14s aconite-ac:aconite-review-c5
aconite-ac:aconite-review-c5
September 9, 2023 15:54 14s
pages build and deployment pages-build-deployment #12: by github-pages bot
September 9, 2023 15:36 38s
September 9, 2023 15:36 38s
Merge pull request #6 from aconite-ac/aconite-review-c4 github pages #21: Commit a85087e pushed by Seasawher
September 9, 2023 15:36 18s main
main
September 9, 2023 15:36 18s
4章をレビュー github pages #20: Pull request #6 opened by aconite-ac
September 9, 2023 15:09 19s aconite-ac:aconite-review-c4
aconite-ac:aconite-review-c4
September 9, 2023 15:09 19s
pages build and deployment pages-build-deployment #11: by github-pages bot
September 9, 2023 14:16 39s
September 9, 2023 14:16 39s
Merge pull request #5 from aconite-ac/aconite-review-c3 github pages #19: Commit 612dadb pushed by Seasawher
September 9, 2023 14:15 14s main
main
September 9, 2023 14:15 14s
3章をレビュー github pages #18: Pull request #5 opened by aconite-ac
September 9, 2023 14:11 15s aconite-ac:aconite-review-c3
aconite-ac:aconite-review-c3
September 9, 2023 14:11 15s
pages build and deployment pages-build-deployment #10: by github-pages bot
September 8, 2023 12:28 40s
September 8, 2023 12:28 40s
Merge pull request #4 from aconite-ac/aconite-review-c2 github pages #17: Commit ce44eb2 pushed by Seasawher
September 8, 2023 12:27 23s main
main
September 8, 2023 12:27 23s
2章をレビュー github pages #16: Pull request #4 opened by aconite-ac
September 8, 2023 12:16 22s aconite-ac:aconite-review-c2
aconite-ac:aconite-review-c2
September 8, 2023 12:16 22s
pages build and deployment pages-build-deployment #9: by github-pages bot
September 8, 2023 11:40 37s
September 8, 2023 11:40 37s
Merge pull request #3 from aconite-ac/aconite-review-c1 github pages #15: Commit 82bbc98 pushed by Seasawher
September 8, 2023 11:40 19s main
main
September 8, 2023 11:40 19s
1章をレビュー github pages #14: Pull request #3 synchronize by Seasawher
September 8, 2023 11:39 17s aconite-ac:aconite-review-c1
aconite-ac:aconite-review-c1
September 8, 2023 11:39 17s
1章をレビュー github pages #13: Pull request #3 opened by aconite-ac
September 8, 2023 11:23 18s aconite-ac:aconite-review-c1
aconite-ac:aconite-review-c1
September 8, 2023 11:23 18s
pages build and deployment pages-build-deployment #8: by github-pages bot
September 7, 2023 10:47 38s
September 7, 2023 10:47 38s
Update c3_universes_types_terms.md github pages #12: Commit c1e5d6e pushed by Seasawher
September 7, 2023 10:46 18s main
main
September 7, 2023 10:46 18s
pages build and deployment pages-build-deployment #7: by github-pages bot
September 7, 2023 10:08 38s
September 7, 2023 10:08 38s
原文の著者を明記する github pages #11: Commit 6bdc289 pushed by Seasawher
September 7, 2023 10:08 21s main
main
September 7, 2023 10:08 21s
pages build and deployment pages-build-deployment #6: by github-pages bot
September 7, 2023 10:05 38s
September 7, 2023 10:05 38s
翻訳のミスを修正 github pages #10: Commit 22d3a65 pushed by Seasawher
September 7, 2023 10:05 21s main
main
September 7, 2023 10:05 21s
pages build and deployment pages-build-deployment #5: by github-pages bot
September 7, 2023 10:04 34s
September 7, 2023 10:04 34s
アンダーバーではなくて，全角ダッシュを使用する github pages #9: Commit 2c9a950 pushed by Seasawher
September 7, 2023 10:04 19s main
main
September 7, 2023 10:04 19s
pages build and deployment pages-build-deployment #4: by github-pages bot
September 6, 2023 12:13 39s
September 6, 2023 12:13 39s
Update README.md github pages #8: Commit 0adfd6a pushed by Seasawher
September 6, 2023 12:13 15s main
main
September 6, 2023 12:13 15s
pages build and deployment pages-build-deployment #3: by github-pages bot
September 5, 2023 09:42 44s
September 5, 2023 09:42 44s