Skip to content

Actions: Lean-zh/math-in-lean-zh

Actions

Build and Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #42 from ChiyoYuki/master Build and Deploy to GitHub Pages #63: Commit f7e564d pushed by OlingCat
35s master
master
35s
Merge pull request #41 from ChiyoYuki/master Build and Deploy to GitHub Pages #62: Commit 64bbf38 pushed by subfish-zhou
1m 41s master
master
1m 41s
Merge pull request #31 from Meowrium/patch-3 Build and Deploy to GitHub Pages #61: Commit 5efa096 pushed by subfish-zhou
1m 41s master
master
1m 41s
Merge pull request #36 from Meowrium/patch-6 Build and Deploy to GitHub Pages #60: Commit bc43a24 pushed by subfish-zhou
1m 47s master
master
1m 47s
Merge pull request #37 from Meowrium/patch-7 Build and Deploy to GitHub Pages #59: Commit ca78dc8 pushed by subfish-zhou
1m 33s master
master
1m 33s
Merge pull request #38 from Meowrium/patch-8 Build and Deploy to GitHub Pages #58: Commit e2a0c49 pushed by subfish-zhou
1m 45s master
master
1m 45s
Merge pull request #39 from Meowrium/patch-9 Build and Deploy to GitHub Pages #57: Commit 8b1a839 pushed by subfish-zhou
1m 42s master
master
1m 42s
Merge pull request #40 from ChiyoYuki/master Build and Deploy to GitHub Pages #56: Commit 24eb5cc pushed by subfish-zhou
1m 43s master
master
1m 43s
Update README.md Build and Deploy to GitHub Pages #55: Commit 1786914 pushed by Ftyhhhhh
1m 39s master
master
1m 39s
Update README.md Build and Deploy to GitHub Pages #54: Commit 2b32da4 pushed by Ftyhhhhh
1m 43s master
master
1m 43s
Merge pull request #35 from Ftyhhhhh/master Build and Deploy to GitHub Pages #53: Commit 3183378 pushed by Ftyhhhhh
1m 53s master
master
1m 53s
Merge pull request #34 from Ftyhhhhh/master Build and Deploy to GitHub Pages #52: Commit b0bb93f pushed by Ftyhhhhh
1m 48s master
master
1m 48s
Merge branch 'master' of github.com:Lean-zh/math-in-lean-zh Build and Deploy to GitHub Pages #51: Commit 20afb68 pushed by subfish-zhou
1m 54s master
master
1m 54s
Merge pull request #28 from Meowrium/patch-1 Build and Deploy to GitHub Pages #50: Commit 50bc822 pushed by subfish-zhou
1m 56s master
master
1m 56s
Merge pull request #27 from Ftyhhhhh/master Build and Deploy to GitHub Pages #49: Commit 5166a95 pushed by subfish-zhou
1m 41s master
master
1m 41s
Update S01_Basics.lean Build and Deploy to GitHub Pages #48: Commit 4a62980 pushed by hewzhew
1m 32s master
master
1m 32s
Merge pull request #26 from bombless/pdf Build and Deploy to GitHub Pages #47: Commit b5c5d71 pushed by hewzhew
1m 40s master
master
1m 40s
fix translation 2.1 Build and Deploy to GitHub Pages #46: Commit 96e75d7 pushed by subfish-zhou
1m 35s master
master
1m 35s
ch9 Build and Deploy to GitHub Pages #45: Commit 5a56214 pushed by subfish-zhou
1m 51s master
master
1m 51s
添加检查任务以验证 MIL 中的数学块格式，并修正相关文档中的格式问题 Build and Deploy to GitHub Pages #44: Commit f6b5d09 pushed by EricTianC
1m 40s master
master
1m 40s
添加 :numref: 检查 task, 修正已有的 :numref: 格式问题 Build and Deploy to GitHub Pages #43: Commit 6c35880 pushed by EricTianC
1m 30s master
master
1m 30s
环论部分初稿完成 Build and Deploy to GitHub Pages #42: Commit e082391 pushed by EricTianC
1m 48s master
master
1m 48s
群论部分初稿完成 Build and Deploy to GitHub Pages #41: Commit f1e7dc6 pushed by EricTianC
1m 35s master
master
1m 35s
Merge pull request #25 from hewzhew/master Build and Deploy to GitHub Pages #40: Commit af8c383 pushed by hewzhew
1m 46s master
master
1m 46s
Merge pull request #24 from hewzhew/master Build and Deploy to GitHub Pages #39: Commit bb34acb pushed by hewzhew
1m 31s master
master
1m 31s