Skip to content

Actions: Lean-zh/fp-lean-zh

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
119 workflow runs
119 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typo: “便是其” → “编译器” CI #96: Pull request #45 opened by Jisu-Woniu
March 27, 2025 14:56 Action required Jisu-Woniu:patch-1
Jisu-Woniu:patch-1
March 27, 2025 14:56 Action required
pages build and deployment pages-build-deployment #28: by github-pages bot
July 24, 2024 18:36 23s gh-pages
gh-pages
July 24, 2024 18:36 23s
Add Mandarin translation for "Functors, Applicative Functors, and Mon… CI #95: Commit c0597a1 pushed by OlingCat
July 24, 2024 18:31 4m 59s master
master
July 24, 2024 18:31 4m 59s
Add Mandarin translation for "Functors, Applicative Functors, and Monads" CI #94: Pull request #41 synchronize by Deep0Thinking
July 24, 2024 07:38 1m 18s master
master
July 24, 2024 07:38 1m 18s
Add Mandarin translation for "Functors, Applicative Functors, and Monads" CI #93: Pull request #41 synchronize by Deep0Thinking
July 24, 2024 07:35 1m 24s master
master
July 24, 2024 07:35 1m 24s
Add Mandarin translation for "Functors, Applicative Functors, and Monads" CI #92: Pull request #41 opened by Deep0Thinking
July 24, 2024 07:26 5m 2s master
master
July 24, 2024 07:26 5m 2s
pages build and deployment pages-build-deployment #27: by github-pages bot
July 17, 2024 06:04 23s gh-pages
gh-pages
July 17, 2024 06:04 23s
Programming with Dependent Types (#40) CI #91: Commit 999d861 pushed by OlingCat
July 17, 2024 06:02 1m 24s master
master
July 17, 2024 06:02 1m 24s
pages build and deployment pages-build-deployment #26: by github-pages bot
July 17, 2024 01:50 26s gh-pages
gh-pages
July 17, 2024 01:50 26s
Fix a sentence CI #90: Commit f58af7a pushed by OlingCat
July 17, 2024 01:45 4m 48s master
master
July 17, 2024 01:45 4m 48s
Programming with Dependent Types CI #89: Pull request #40 synchronize by jiangsy
July 16, 2024 16:28 1m 29s draft_dependent_type
draft_dependent_type
July 16, 2024 16:28 1m 29s
Programming with Dependent Types CI #88: Pull request #40 synchronize by jiangsy
July 15, 2024 12:03 1m 22s draft_dependent_type
draft_dependent_type
July 15, 2024 12:03 1m 22s
Programming with Dependent Types CI #87: Pull request #40 synchronize by jiangsy
July 15, 2024 11:58 1m 27s draft_dependent_type
draft_dependent_type
July 15, 2024 11:58 1m 27s
Programming with Dependent Types CI #86: Pull request #40 synchronize by jiangsy
July 15, 2024 02:38 1m 24s draft_dependent_type
draft_dependent_type
July 15, 2024 02:38 1m 24s
Programming with Dependent Types CI #85: Pull request #40 synchronize by jiangsy
July 14, 2024 13:43 1m 21s draft_dependent_type
draft_dependent_type
July 14, 2024 13:43 1m 21s
Programming with Dependent Types CI #84: Pull request #40 synchronize by jiangsy
July 14, 2024 13:29 1m 24s draft_dependent_type
draft_dependent_type
July 14, 2024 13:29 1m 24s
Programming with Dependent Types CI #83: Pull request #40 synchronize by jiangsy
July 14, 2024 12:44 1m 35s draft_dependent_type
draft_dependent_type
July 14, 2024 12:44 1m 35s
Programming with Dependent Types CI #82: Pull request #40 synchronize by jiangsy
July 14, 2024 06:47 1m 31s draft_dependent_type
draft_dependent_type
July 14, 2024 06:47 1m 31s
Programming with Dependent Types CI #81: Pull request #40 synchronize by jiangsy
July 14, 2024 03:52 1m 25s draft_dependent_type
draft_dependent_type
July 14, 2024 03:52 1m 25s
Programming with Dependent Types CI #80: Pull request #40 synchronize by jiangsy
July 14, 2024 03:46 1m 30s draft_dependent_type
draft_dependent_type
July 14, 2024 03:46 1m 30s
Programming with Dependent Types CI #79: Pull request #40 synchronize by jiangsy
July 14, 2024 03:45 1m 31s draft_dependent_type
draft_dependent_type
July 14, 2024 03:45 1m 31s
Programming with Dependent Types CI #78: Pull request #40 synchronize by jiangsy
July 14, 2024 01:34 1m 31s draft_dependent_type
draft_dependent_type
July 14, 2024 01:34 1m 31s
Programming with Dependent Types CI #77: Pull request #40 synchronize by jiangsy
July 14, 2024 01:03 1m 33s draft_dependent_type
draft_dependent_type
July 14, 2024 01:03 1m 33s
Programming with Dependent Types CI #76: Pull request #40 synchronize by jiangsy
July 14, 2024 01:01 1m 31s draft_dependent_type
draft_dependent_type
July 14, 2024 01:01 1m 31s
Programming with Dependent Types CI #75: Pull request #40 synchronize by jiangsy
July 13, 2024 16:11 1m 32s draft_dependent_type
draft_dependent_type
July 13, 2024 16:11 1m 32s