Skip to content
This repository has been archived by the owner on Nov 29, 2024. It is now read-only.

Actions: lean-ja/lean-by-example-legacy

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

instance を紹介する Test #53: Commit 828b2ab pushed by Seasawher
April 21, 2024 09:50 26s main
main
April 21, 2024 09:50 26s
class のコード例にコメントを追加する Test #52: Commit 17f0185 pushed by Seasawher
April 21, 2024 06:16 23s main
main
April 21, 2024 06:16 23s
abbrev: 情報源を脚注で示す Test #51: Commit adffa86 pushed by Seasawher
April 21, 2024 06:11 26s main
main
April 21, 2024 06:11 26s
目次からドラフトを消す Test #50: Commit 9a30c09 pushed by Seasawher
April 20, 2024 18:23 17s main
main
April 20, 2024 18:23 17s
目次の構成を更新 Test #49: Commit a18715a pushed by Seasawher
April 20, 2024 17:58 17s main
main
April 20, 2024 17:58 17s
class: don't use theorem Test #48: Commit 883006b pushed by Seasawher
April 20, 2024 16:02 22s main
main
April 20, 2024 16:02 22s
def: partial 修飾子を紹介する Test #47: Commit 38381c6 pushed by Seasawher
April 20, 2024 16:00 19s main
main
April 20, 2024 16:00 19s
def を追加する Test #46: Commit a7a41ea pushed by Seasawher
April 20, 2024 15:50 17s main
main
April 20, 2024 15:50 17s
abbrev: reducible な def と同じであると明記する Test #45: Commit e4b3a82 pushed by Seasawher
April 20, 2024 15:30 22s main
main
April 20, 2024 15:30 22s
コメントを補足 Test #44: Commit fc32529 pushed by Seasawher
April 20, 2024 09:34 25s main
main
April 20, 2024 09:34 25s
Open のコード例を改修 Test #43: Commit f6467ea pushed by Seasawher
April 20, 2024 09:11 21s main
main
April 20, 2024 09:11 21s
structure が特別な帰納型であるという話を最後に持ってくる Test #42: Commit 2d22df1 pushed by Seasawher
April 19, 2024 17:05 27s main
main
April 19, 2024 17:05 27s
class を追加する Test #41: Commit fbef3e1 pushed by Seasawher
April 19, 2024 16:47 18s main
main
April 19, 2024 16:47 18s
エラーメッセージをアサートする Test #40: Commit bc5e347 pushed by Seasawher
April 18, 2024 13:33 16s main
main
April 18, 2024 13:33 16s
入れ子のセクションを紹介 Test #39: Commit 6367175 pushed by Seasawher
April 18, 2024 13:28 25s main
main
April 18, 2024 13:28 25s
構造体の記事更新 Test #38: Commit 32aa1e6 pushed by Seasawher
April 18, 2024 13:16 17s main
main
April 18, 2024 13:16 17s
notation を追加する Test #37: Commit 335e651 pushed by Seasawher
April 18, 2024 12:06 19s main
main
April 18, 2024 12:06 19s
匿名コンストラクタのファイル名変更 Test #36: Commit 06b2f50 pushed by Seasawher
April 16, 2024 18:15 23s main
main
April 16, 2024 18:15 23s
匿名コンストラクタのコード例を追加 Test #35: Commit 473bef1 pushed by Seasawher
April 16, 2024 18:09 19s main
main
April 16, 2024 18:09 19s
匿名コンストラクタという言葉の指す対象が間違っていたので修正 Test #34: Commit bb2e5b8 pushed by Seasawher
April 16, 2024 18:04 35s main
main
April 16, 2024 18:04 35s
ファイル名を dotNotation から fieldNotaion に変更 Test #33: Commit 0dd093f pushed by Seasawher
April 16, 2024 17:51 19s main
main
April 16, 2024 17:51 19s
ドット記法の別名としてフィールド記法と呼ばれることを明記 Test #32: Commit 4e460df pushed by Seasawher
April 16, 2024 17:35 22s main
main
April 16, 2024 17:35 22s
structure の更新について追記 Test #31: Commit b053d8b pushed by Seasawher
April 16, 2024 16:56 17s main
main
April 16, 2024 16:56 17s
structure を追加する Test #30: Commit eeb69c6 pushed by Seasawher
April 16, 2024 16:38 19s main
main
April 16, 2024 16:38 19s
inductive を追加する Test #29: Commit bca0838 pushed by Seasawher
April 15, 2024 13:19 20s main
main
April 15, 2024 13:19 20s