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

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
209 workflow runs
209 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

where 句の説明を追加する Deploy to github pages #55: Commit 7a10ff9 pushed by Seasawher
April 21, 2024 10:52 46s main
main
April 21, 2024 10:52 46s
where 句の説明を追加する Test #54: Commit 7a10ff9 pushed by Seasawher
April 21, 2024 10:52 18s main
main
April 21, 2024 10:52 18s
instance を紹介する Deploy to github pages #54: Commit 828b2ab pushed by Seasawher
April 21, 2024 09:50 39s main
main
April 21, 2024 09:50 39s
instance を紹介する Test #53: Commit 828b2ab pushed by Seasawher
April 21, 2024 09:50 26s main
main
April 21, 2024 09:50 26s
class のコード例にコメントを追加する Deploy to github pages #53: Commit 17f0185 pushed by Seasawher
April 21, 2024 06:16 45s main
main
April 21, 2024 06:16 45s
class のコード例にコメントを追加する Test #52: Commit 17f0185 pushed by Seasawher
April 21, 2024 06:16 23s main
main
April 21, 2024 06:16 23s
abbrev: 情報源を脚注で示す Deploy to github pages #52: Commit adffa86 pushed by Seasawher
April 21, 2024 06:11 39s main
main
April 21, 2024 06:11 39s
abbrev: 情報源を脚注で示す Test #51: Commit adffa86 pushed by Seasawher
April 21, 2024 06:11 26s main
main
April 21, 2024 06:11 26s
目次からドラフトを消す Deploy to github pages #51: Commit 9a30c09 pushed by Seasawher
April 20, 2024 18:23 44s main
main
April 20, 2024 18:23 44s
目次からドラフトを消す 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
目次の構成を更新 Deploy to github pages #50: Commit a18715a pushed by Seasawher
April 20, 2024 17:58 39s main
main
April 20, 2024 17:58 39s
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
class: don't use theorem Deploy to github pages #49: Commit 883006b pushed by Seasawher
April 20, 2024 16:02 42s main
main
April 20, 2024 16:02 42s
def: partial 修飾子を紹介する Test #47: Commit 38381c6 pushed by Seasawher
April 20, 2024 16:00 19s main
main
April 20, 2024 16:00 19s
def: partial 修飾子を紹介する Deploy to github pages #48: Commit 38381c6 pushed by Seasawher
April 20, 2024 16:00 35s main
main
April 20, 2024 16:00 35s
def を追加する Deploy to github pages #47: Commit a7a41ea pushed by Seasawher
April 20, 2024 15:50 37s main
main
April 20, 2024 15:50 37s
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
abbrev: reducible な def と同じであると明記する Deploy to github pages #46: Commit e4b3a82 pushed by Seasawher
April 20, 2024 15:30 47s main
main
April 20, 2024 15:30 47s
コメントを補足 Test #44: Commit fc32529 pushed by Seasawher
April 20, 2024 09:34 25s main
main
April 20, 2024 09:34 25s
コメントを補足 Deploy to github pages #45: Commit fc32529 pushed by Seasawher
April 20, 2024 09:34 37s main
main
April 20, 2024 09:34 37s
Open のコード例を改修 Deploy to github pages #44: Commit f6467ea pushed by Seasawher
April 20, 2024 09:11 43s main
main
April 20, 2024 09:11 43s
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