Skip to content

Actions: Lean-zh/fp-lean-zh

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix ci CI #103: Commit 2b6b816 pushed by subfish-zhou
July 4, 2025 17:53 4m 49s master
master
July 4, 2025 17:53 4m 49s
fix gitignore CI #102: Commit c1b6828 pushed by subfish-zhou
July 4, 2025 17:47 1m 9s master
master
July 4, 2025 17:47 1m 9s
Port to Verso CI #101: Commit 81e73fe pushed by subfish-zhou
July 4, 2025 17:39 2m 25s master
master
July 4, 2025 17:39 2m 25s
Fix typo CI #100: Commit 7c19bfb pushed by OlingCat
June 20, 2025 16:21 2m 58s master
master
June 20, 2025 16:21 2m 58s
Fix typo: 去掉多余的双引号 CI #99: Pull request #47 opened by ShorterThanDijkstra
June 16, 2025 01:08 3m 1s ShorterThanDijkstra:patch-1
ShorterThanDijkstra:patch-1
June 16, 2025 01:08 3m 1s
Merge pull request #45 from Jisu-Woniu/patch-1 CI #98: Commit 6725bef pushed by jiangsy
June 7, 2025 19:00 5m 33s master
master
June 7, 2025 19:00 5m 33s
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
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
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