Skip to content
This repository has been archived by the owner on Jan 5, 2025. It is now read-only.

Actions: lean-ja/fp-lean-ja

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
381 workflow runs
381 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

1.5章 datatypes-and-patterns.mdを翻訳しました CI #53: Pull request #18 synchronize by Seasawher
April 24, 2024 11:42 1m 28s 1.5-datatypes-and-patterns
1.5-datatypes-and-patterns
April 24, 2024 11:42 1m 28s
1.5章 datatypes-and-patterns.mdを翻訳しました CI #52: Pull request #18 synchronize by Seasawher
April 16, 2024 19:43 1m 19s 1.5-datatypes-and-patterns
1.5-datatypes-and-patterns
April 16, 2024 19:43 1m 19s
1.5章 datatypes-and-patterns.mdを翻訳しました CI #51: Pull request #18 synchronize by Seasawher
April 16, 2024 19:35 1m 19s 1.5-datatypes-and-patterns
1.5-datatypes-and-patterns
April 16, 2024 19:35 1m 19s
1.5章 datatypes-and-patterns.mdを翻訳しました CI #50: Pull request #18 opened by nesken7777
April 3, 2024 07:19 1m 42s 1.5-datatypes-and-patterns
1.5-datatypes-and-patterns
April 3, 2024 07:19 1m 42s
READMEの変更漏れを修正 CI #49: Commit 1409d75 pushed by Seasawher
March 29, 2024 22:15 1m 58s main
main
March 29, 2024 22:15 1m 58s
コントリビューションのルールを更新 CI #48: Commit d179b87 pushed by Seasawher
March 29, 2024 22:14 1m 31s main
main
March 29, 2024 22:14 1m 31s
.rec も生成されている #17 CI #47: Commit 1590672 pushed by Seasawher
March 29, 2024 22:09 1m 50s main
main
March 29, 2024 22:09 1m 50s
Merge pull request #16 from lean-ja/feature/improve_bintree_functor CI #46: Commit 740cefe pushed by Seasawher
March 16, 2024 13:06 1m 52s main
main
March 16, 2024 13:06 1m 52s
remove unnecessary arguments CI #45: Pull request #16 opened by ondanaoto
March 16, 2024 11:15 1m 40s feature/improve_bintree_functor
feature/improve_bintree_functor
March 16, 2024 11:15 1m 40s
Merge pull request #15 from lean-ja/feature/standard_class CI #44: Commit f3f67ca pushed by Seasawher
March 16, 2024 11:03 1m 33s main
main
March 16, 2024 11:03 1m 33s
solution of standard_class CI #43: Pull request #15 opened by ondanaoto
March 16, 2024 11:02 1m 18s feature/standard_class
feature/standard_class
March 16, 2024 11:02 1m 18s
Merge branch '2024-03-02' CI #42: Commit 4cee614 pushed by Seasawher
March 9, 2024 11:38 1m 37s main
main
March 9, 2024 11:38 1m 37s
2024 03 02 CI #41: Pull request #14 synchronize by Seasawher
March 9, 2024 10:45 1m 13s 2024-03-02
2024-03-02
March 9, 2024 10:45 1m 13s
2024 03 02 CI #40: Pull request #14 opened by Seasawher
March 2, 2024 08:00 1m 18s 2024-03-02
2024-03-02
March 2, 2024 08:00 1m 18s
ファイル移動に伴い削除 CI #39: Commit 21f0767 pushed by Seasawher
March 2, 2024 07:14 1m 40s main
main
March 2, 2024 07:14 1m 40s
tail 関数の別の実装例を追加する CI #38: Commit deb96d8 pushed by Seasawher
February 3, 2024 15:09 1m 36s main
main
February 3, 2024 15:09 1m 36s
Merge pull request #10 from lean-ja/Ch1.4 CI #37: Commit 7de340f pushed by Seasawher
January 25, 2024 10:45 2m 53s main
main
January 25, 2024 10:45 2m 53s
1.4 章 Structures CI #36: Pull request #10 synchronize by Seasawher
January 25, 2024 10:43 2m 50s Ch1.4
Ch1.4
January 25, 2024 10:43 2m 50s
1.4 章 Structures CI #35: Pull request #10 synchronize by Seasawher
January 25, 2024 10:42 2m 28s Ch1.4
Ch1.4
January 25, 2024 10:42 2m 28s
Merge pull request #13 from lean-ja/fix-typo CI #34: Commit 02c17ef pushed by Seasawher
January 25, 2024 09:39 2m 35s main
main
January 25, 2024 09:39 2m 35s
誤訳を修正 CI #33: Pull request #13 opened by Seasawher
January 25, 2024 09:39 1m 18s fix-typo
fix-typo
January 25, 2024 09:39 1m 18s
Merge pull request #12 from lean-ja/add-solution CI #32: Commit 6a87e8f pushed by Seasawher
January 22, 2024 12:56 1m 48s main
main
January 22, 2024 12:56 1m 48s
1 章の演習問題を解き，その解答を solutions ディレクトリに入れる CI #31: Pull request #12 opened by Seasawher
January 22, 2024 12:45 1m 18s add-solution
add-solution
January 22, 2024 12:45 1m 18s
1.4 章 Structures CI #30: Pull request #10 opened by Seasawher
January 11, 2024 11:52 1m 27s Ch1.4
Ch1.4
January 11, 2024 11:52 1m 27s
Merge branch 'Ch1.4S1' CI #29: Commit 53cc2b4 pushed by Seasawher
December 31, 2023 16:52 1m 37s main
main
December 31, 2023 16:52 1m 37s
ProTip! You can narrow down the results and go further in time using created:<2023-12-31 or the other filters available.