Skip to content

Actions: Lean-zh/fp-lean-zh

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
95 workflow runs
95 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Programming, Proving, and Performance: translated CI #59: Pull request #38 opened by OlingCat
June 29, 2024 20:12 2m 6s ppp
ppp
June 29, 2024 20:12 2m 6s
pages build and deployment pages-build-deployment #20: by github-pages bot
June 23, 2024 17:34 25s gh-pages
gh-pages
June 23, 2024 17:34 25s
Merge pull request #37 from Lean-zh/monads CI #58: Commit b8466e0 pushed by OlingCat
June 23, 2024 17:33 1m 31s master
master
June 23, 2024 17:33 1m 31s
monads: finished CI #57: Pull request #37 opened by OlingCat
June 23, 2024 17:33 1m 34s monads
monads
June 23, 2024 17:33 1m 34s
pages build and deployment pages-build-deployment #19: by github-pages bot
June 22, 2024 20:47 24s gh-pages
gh-pages
June 22, 2024 20:47 24s
Merge pull request #36 from Lean-zh/prop CI #56: Commit d1a1c32 pushed by OlingCat
June 22, 2024 20:45 2m 36s master
master
June 22, 2024 20:45 2m 36s
Update space match rule CI #55: Pull request #36 opened by OlingCat
June 22, 2024 20:45 2m 35s prop
prop
June 22, 2024 20:45 2m 35s
pages build and deployment pages-build-deployment #18: by github-pages bot
June 14, 2024 16:38 27s gh-pages
gh-pages
June 14, 2024 16:38 27s
Merge pull request #33 from lunaticabs/luna CI #54: Commit 1633abf pushed by OlingCat
June 14, 2024 16:36 1m 34s master
master
June 14, 2024 16:36 1m 34s
pages build and deployment pages-build-deployment #17: by github-pages bot
June 14, 2024 16:36 29s gh-pages
gh-pages
June 14, 2024 16:36 29s
Merge pull request #35 from Lean-zh/prop CI #53: Commit ebc831d pushed by OlingCat
June 14, 2024 16:35 1m 27s master
master
June 14, 2024 16:35 1m 27s
插曲：命题、证明与索引 翻译完毕 CI #52: Pull request #35 opened by OlingCat
June 14, 2024 16:35 1m 36s prop
prop
June 14, 2024 16:35 1m 36s
pages build and deployment pages-build-deployment #16: by github-pages bot
June 14, 2024 12:32 24s gh-pages
gh-pages
June 14, 2024 12:32 24s
Merge pull request #34 from Lean-zh/polish CI #51: Commit a3fc40d pushed by OlingCat
June 14, 2024 12:31 1m 27s master
master
June 14, 2024 12:31 1m 27s
了解 Lean：校对完毕 CI #50: Pull request #34 synchronize by OlingCat
June 14, 2024 12:31 1m 39s polish
polish
June 14, 2024 12:31 1m 39s
Fix typo and translate, for ch5. CI #49: Pull request #33 opened by lunaticabs
June 12, 2024 07:57 1m 22s lunaticabs:luna
lunaticabs:luna
June 12, 2024 07:57 1m 22s
pages build and deployment pages-build-deployment #15: by github-pages bot
June 10, 2024 12:44 24s gh-pages
gh-pages
June 10, 2024 12:44 24s
Merge pull request #32 from lunaticabs/luna CI #48: Commit 1bc9c59 pushed by OlingCat
June 10, 2024 12:43 1m 26s master
master
June 10, 2024 12:43 1m 26s
4.trans all finish and fix CI #47: Pull request #32 opened by lunaticabs
June 10, 2024 04:11 1m 40s luna
luna
June 10, 2024 04:11 1m 40s
Fix, ch4 translate all finish. CI #46: Pull request #31 opened by lunaticabs
June 10, 2024 03:34 1m 29s master
master
June 10, 2024 03:34 1m 29s
pages build and deployment pages-build-deployment #14: by github-pages bot
June 9, 2024 15:23 28s gh-pages
gh-pages
June 9, 2024 15:23 28s
Merge pull request #30 from werner-balonius/fixMixSoftmaxCrossEntropy… CI #45: Commit f14924a pushed by OlingCat
June 9, 2024 15:22 1m 50s master
master
June 9, 2024 15:22 1m 50s
Overloading and Type Classes: finished (#20) CI #44: Commit 6d9cb12 pushed by OlingCat
June 9, 2024 15:21 1m 22s master
master
June 9, 2024 15:21 1m 22s
Interlude: Tactics, Induction, and Proofs和Next Steps的翻译 CI #43: Pull request #30 opened by werner-balonius
June 9, 2024 12:46 1m 25s werner-balonius:fixMixSoftmaxCrossEntropyLoss
werner-balonius:fixMixSoftmaxCrossEntropyLoss
June 9, 2024 12:46 1m 25s
ch4 thans all finish, ready to merge CI #42: Pull request #20 synchronize by lunaticabs
June 9, 2024 09:08 1m 30s master
master
June 9, 2024 09:08 1m 30s