Skip to content

Actions: lean-ja/lean-by-example

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,128 workflow runs
1,128 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

apply? についての補足説明を追加 CI #28: Commit c91094e pushed by Seasawher
October 17, 2023 12:37 1m 28s main
main
October 17, 2023 12:37 1m 28s
apply? が sorry を使用していることを示すコード例を追加 CI #27: Commit 3e728a3 pushed by Seasawher
October 17, 2023 12:36 1m 21s main
main
October 17, 2023 12:36 1m 21s
trivial の説明を更新 CI #26: Commit 3e62dcb pushed by Seasawher
October 10, 2023 11:02 1m 12s main
main
October 10, 2023 11:02 1m 12s
guard_hyp を追加する CI #25: Commit 4f5531f pushed by Seasawher
October 10, 2023 10:58 1m 24s main
main
October 10, 2023 10:58 1m 24s
refine を constructor の代わりに使う方法を解説 CI #24: Commit 10a6c38 pushed by Seasawher
October 9, 2023 03:27 1m 10s main
main
October 9, 2023 03:27 1m 10s
replace 追加 CI #23: Commit 4c66975 pushed by Seasawher
October 9, 2023 02:52 1m 36s main
main
October 9, 2023 02:52 1m 36s
Merge pull request #11 from lean-ja/strong-induction CI #22: Commit 0aeb356 pushed by Seasawher
October 8, 2023 16:51 1m 19s main
main
October 8, 2023 16:51 1m 19s
強い帰納法に言及する CI #21: Pull request #11 opened by Seasawher
October 8, 2023 16:50 1m 12s strong-induction
strong-induction
October 8, 2023 16:50 1m 12s
suffices のコード例を，多少非自明なものに変更する CI #20: Commit e946162 pushed by Seasawher
October 7, 2023 07:04 1m 36s main
main
October 7, 2023 07:04 1m 36s
Merge pull request #8 from lean-ja/rfl-mathlib CI #19: Commit 8d88004 pushed by Seasawher
October 6, 2023 09:13 1m 28s main
main
October 6, 2023 09:13 1m 28s
Rfl の説明の修正 CI #18: Pull request #8 opened by Seasawher
October 5, 2023 12:12 1m 29s rfl-mathlib
rfl-mathlib
October 5, 2023 12:12 1m 29s
CONTRIBUTING.md を更新 CI #17: Commit efcf263 pushed by Seasawher
October 4, 2023 23:01 1m 31s main
main
October 4, 2023 23:01 1m 31s
Merge pull request #6 from lean-ja/without-choose-ac2 CI #16: Commit 3695d19 pushed by Seasawher
October 3, 2023 11:50 1m 24s main
main
October 3, 2023 11:50 1m 24s
choose を使わない例を示す CI #15: Pull request #6 opened by aconite-ac
October 3, 2023 11:48 1m 33s without-choose-ac2
without-choose-ac2
October 3, 2023 11:48 1m 33s
choose を使わない例を示す CI #14: Pull request #5 opened by aconite-ac
September 28, 2023 14:38 1m 21s without-choose-ac
without-choose-ac
September 28, 2023 14:38 1m 21s
choose を使わない例を示す CI #13: Pull request #4 opened by Seasawher
September 27, 2023 09:52 1m 27s without-choose
without-choose
September 27, 2023 09:52 1m 27s
linarith の説明の誤りを修正 CI #12: Commit 6781c5e pushed by Seasawher
September 26, 2023 12:10 1m 39s main
main
September 26, 2023 12:10 1m 39s
Link 集に math in type theory を追加 CI #11: Commit 99ce70b pushed by Seasawher
September 24, 2023 12:45 1m 16s main
main
September 24, 2023 12:45 1m 16s
Merge pull request #3 from lean-ja/add_nth_rewrite CI #10: Commit b54f568 pushed by Seasawher
September 24, 2023 12:34 1m 36s main
main
September 24, 2023 12:34 1m 36s
nth_rewriteの記述追加 CI #9: Pull request #3 synchronize by Seasawher
September 24, 2023 12:33 1m 26s add_nth_rewrite
add_nth_rewrite
September 24, 2023 12:33 1m 26s
nth_rewriteの記述追加 CI #8: Pull request #3 synchronize by s-taiga
September 24, 2023 09:09 1m 20s add_nth_rewrite
add_nth_rewrite
September 24, 2023 09:09 1m 20s
refine 追加 CI #7: Commit b5de393 pushed by Seasawher
September 24, 2023 08:36 1m 14s main
main
September 24, 2023 08:36 1m 14s
CONTRIBUTING 更新 - 誤解を招く記述を修正するなど CI #6: Commit 7fd9b06 pushed by Seasawher
September 24, 2023 07:30 1m 21s main
main
September 24, 2023 07:30 1m 21s
choose 追加 CI #5: Commit dc39ba0 pushed by Seasawher
September 24, 2023 07:11 1m 34s main
main
September 24, 2023 07:11 1m 34s
nth_rewriteの記述追加 CI #4: Pull request #3 opened by s-taiga
September 24, 2023 07:07 1m 14s add_nth_rewrite
add_nth_rewrite
September 24, 2023 07:07 1m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-09-24 or the other filters available.