Skip to content

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

Actions

github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
原文の著者を明記する github pages #11: Commit 6bdc289 pushed by Seasawher
September 7, 2023 10:08 21s main
main
September 7, 2023 10:08 21s
翻訳のミスを修正 github pages #10: Commit 22d3a65 pushed by Seasawher
September 7, 2023 10:05 21s main
main
September 7, 2023 10:05 21s
アンダーバーではなくて，全角ダッシュを使用する github pages #9: Commit 2c9a950 pushed by Seasawher
September 7, 2023 10:04 19s main
main
September 7, 2023 10:04 19s
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
Update book.toml github pages #7: Commit 158adf3 pushed by Seasawher
September 5, 2023 09:42 15s main
main
September 5, 2023 09:42 15s
mathjax を手動で導入し，デリミタも手動で設定する github pages #6: Commit 77aef32 pushed by Seasawher
September 5, 2023 09:22 21s main
main
September 5, 2023 09:22 21s
Update deploy.yml github pages #5: Commit 5b0b1c1 pushed by Seasawher
September 5, 2023 04:55 27s main
main
September 5, 2023 04:55 27s
book.toml を更新 github pages #4: Commit 1c31aa6 pushed by Seasawher
September 5, 2023 04:31 2m 58s main
main
September 5, 2023 04:31 2m 58s
ACTION TEST: Update deploy.yml github pages #3: Commit bec9b19 pushed by Seasawher
September 4, 2023 13:27 19s main
main
September 4, 2023 13:27 19s
github pages github pages #2: Manually run by Seasawher
September 4, 2023 13:23 22s main
main
September 4, 2023 13:23 22s
github pages github pages #1: Manually run by Seasawher
September 4, 2023 13:11 Startup failure main
main
September 4, 2023 13:11 Startup failure