search

lean-ja / fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）
https://lean-ja.github.io/fp-lean-ja/
Other
7 stars 2 forks source link

2.3章 starting-a-project #37

Closed imamuray closed 1 month ago

imamuray commented 1 month ago

修正箇所はマークダウンファイルだけのはずですが CI が落ちているようです... 詳しい原因は調べられていません

s-taiga commented 1 month ago

@imamuray 自分の方でも以前一度なぜかciが失敗したことがあったので、何か不安定なプロセスがあるのかもしれないです。 ひとまずREADMEの方針通り、句読点を．、，から。、、に直していただいて再度pushいただいて動きを見ていただけますと幸いです。 もしお手すきでなければこちらで対応できますので、よろしくお願いいたします。

s-taiga commented 1 month ago

@imamuray すみません、こちらのPRについて目次の更新だけこちらで行ってマージとしたいと思います。

s-taiga commented 1 month ago

すみません……どうも @imamuray さんがCI対策の修正を行う前に一度ブランチをpullしてしまっていたようで、rebaseした際にその変更分を無くしてしまいました……大変失礼いたしました 変更内容は把握していますので、こちらで盛り込んでマージしたいと思いますがよろしいでしょうか……？

imamuray commented 1 month ago

問題ないです！よろしくお願いします。