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
12 workflow runs
12 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
Merge pull request #41 from ChiyoYuki/master
Build and Deploy to GitHub Pages #62: Commit 64bbf38 pushed by subfish-zhou
1m 41s master
Merge pull request #31 from Meowrium/patch-3
Build and Deploy to GitHub Pages #61: Commit 5efa096 pushed by subfish-zhou
1m 41s master
Merge pull request #36 from Meowrium/patch-6
Build and Deploy to GitHub Pages #60: Commit bc43a24 pushed by subfish-zhou
1m 47s master
Merge pull request #37 from Meowrium/patch-7
Build and Deploy to GitHub Pages #59: Commit ca78dc8 pushed by subfish-zhou
1m 33s master
Merge pull request #38 from Meowrium/patch-8
Build and Deploy to GitHub Pages #58: Commit e2a0c49 pushed by subfish-zhou
1m 45s master
Merge pull request #39 from Meowrium/patch-9
Build and Deploy to GitHub Pages #57: Commit 8b1a839 pushed by subfish-zhou
1m 42s master
Merge pull request #40 from ChiyoYuki/master
Build and Deploy to GitHub Pages #56: Commit 24eb5cc pushed by subfish-zhou
1m 43s master
Update README.md
Build and Deploy to GitHub Pages #55: Commit 1786914 pushed by Ftyhhhhh
1m 39s master
Update README.md
Build and Deploy to GitHub Pages #54: Commit 2b32da4 pushed by Ftyhhhhh
1m 43s master
Merge pull request #35 from Ftyhhhhh/master
Build and Deploy to GitHub Pages #53: Commit 3183378 pushed by Ftyhhhhh
1m 53s master
Merge pull request #34 from Ftyhhhhh/master
Build and Deploy to GitHub Pages #52: Commit b0bb93f pushed by Ftyhhhhh
1m 48s master