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

Actions: lean-ja/lean4-metaprogramming-book-ja

Actions

Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

definitional equalityの訳修正 Book #35: Pull request #14 opened by s-taiga
November 4, 2024 06:03 1m 54s fix/defeq
fix/defeq
November 4, 2024 06:03 1m 54s
ex_03_pretty_printing Book #34: Pull request #13 synchronize by s-taiga
September 28, 2024 03:56 1m 42s ex_03_pretty_printing
ex_03_pretty_printing
September 28, 2024 03:56 1m 42s
ex_03_pretty_printing Book #33: Pull request #13 opened by s-taiga
September 27, 2024 13:19 1m 43s ex_03_pretty_printing
ex_03_pretty_printing
September 27, 2024 13:19 1m 43s
ex_01_options Book #32: Pull request #12 synchronize by s-taiga
September 27, 2024 13:14 1m 43s ex_01_options
ex_01_options
September 27, 2024 13:14 1m 43s
ex_01_options Book #31: Pull request #12 opened by s-taiga
September 27, 2024 12:54 2m 13s ex_01_options
ex_01_options
September 27, 2024 12:54 2m 13s
10_cheat-sheet Book #30: Pull request #11 synchronize by s-taiga
September 27, 2024 12:48 1m 43s 10_cheet-sheet
10_cheet-sheet
September 27, 2024 12:48 1m 43s
10_cheat-sheet Book #29: Pull request #11 opened by s-taiga
September 26, 2024 23:56 1m 37s 10_cheet-sheet
10_cheet-sheet
September 26, 2024 23:56 1m 37s
09_tactics Book #28: Pull request #10 synchronize by s-taiga
September 26, 2024 23:51 1m 57s 09_tactics
09_tactics
September 26, 2024 23:51 1m 57s
09_tactics Book #27: Pull request #10 synchronize by s-taiga
September 26, 2024 23:43 1m 55s 09_tactics
09_tactics
September 26, 2024 23:43 1m 55s
09_tactics Book #26: Pull request #10 opened by s-taiga
September 23, 2024 13:38 2m 7s 09_tactics
09_tactics
September 23, 2024 13:38 2m 7s
08_dsls Book #25: Pull request #9 synchronize by s-taiga
September 23, 2024 13:14 2m 3s 08_dsls
08_dsls
September 23, 2024 13:14 2m 3s
08_dsls Book #24: Pull request #9 opened by s-taiga
September 23, 2024 05:07 1m 46s 08_dsls
08_dsls
September 23, 2024 05:07 1m 46s
07_elaboration Book #23: Pull request #8 synchronize by s-taiga
September 23, 2024 05:03 1m 34s 07_elaboration
07_elaboration
September 23, 2024 05:03 1m 34s
07_elaboration Book #22: Pull request #8 synchronize by s-taiga
September 23, 2024 04:47 1m 34s 07_elaboration
07_elaboration
September 23, 2024 04:47 1m 34s
07_elaboration Book #21: Pull request #8 opened by s-taiga
September 22, 2024 07:56 1m 34s 07_elaboration
07_elaboration
September 22, 2024 07:56 1m 34s
06_macros Book #20: Pull request #7 synchronize by s-taiga
September 22, 2024 07:49 1m 54s 06_macros
06_macros
September 22, 2024 07:49 1m 54s
06_macros Book #19: Pull request #7 synchronize by s-taiga
September 22, 2024 07:17 1m 44s 06_macros
06_macros
September 22, 2024 07:17 1m 44s
06_macros Book #18: Pull request #7 opened by s-taiga
September 21, 2024 16:39 2m 0s 06_macros
06_macros
September 21, 2024 16:39 2m 0s
05_syntax Book #17: Pull request #6 synchronize by s-taiga
September 21, 2024 16:36 1m 30s 05_syntax
05_syntax
September 21, 2024 16:36 1m 30s
05_syntax Book #16: Pull request #6 synchronize by s-taiga
September 21, 2024 16:23 1m 41s 05_syntax
05_syntax
September 21, 2024 16:23 1m 41s
05_syntax Book #15: Pull request #6 opened by s-taiga
September 20, 2024 16:05 1m 46s 05_syntax
05_syntax
September 20, 2024 16:05 1m 46s
04_metam Book #14: Pull request #5 synchronize by s-taiga
September 20, 2024 15:56 1m 35s 04_metam
04_metam
September 20, 2024 15:56 1m 35s
04_metam Book #13: Pull request #5 synchronize by s-taiga
September 20, 2024 15:09 1m 57s 04_metam
04_metam
September 20, 2024 15:09 1m 57s
04_metam Book #12: Pull request #5 opened by s-taiga
September 17, 2024 14:31 1m 55s 04_metam
04_metam
September 17, 2024 14:31 1m 55s
03_expressions Book #11: Pull request #4 synchronize by s-taiga
September 17, 2024 13:58 1m 46s 03_expressions
03_expressions
September 17, 2024 13:58 1m 46s