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

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

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

definitional equalityの訳修正 (#14) CI #49: Commit 1d3ae6f pushed by s-taiga
November 4, 2024 06:08 2m 34s main
main
November 4, 2024 06:08 2m 34s
definitional equalityの訳修正 CI #48: Pull request #14 opened by s-taiga
November 4, 2024 06:03 2m 34s fix/defeq
fix/defeq
November 4, 2024 06:03 2m 34s
ex_03_pretty_printing (#13) CI #47: Commit c0a76d5 pushed by s-taiga
September 28, 2024 04:03 19s main
main
September 28, 2024 04:03 19s
ex_03_pretty_printing CI #46: Pull request #13 synchronize by s-taiga
September 28, 2024 03:56 22s ex_03_pretty_printing
ex_03_pretty_printing
September 28, 2024 03:56 22s
ex_03_pretty_printing CI #45: Pull request #13 opened by s-taiga
September 27, 2024 13:19 20s ex_03_pretty_printing
ex_03_pretty_printing
September 27, 2024 13:19 20s
ex_01_options (#12) CI #44: Commit 431f8ec pushed by s-taiga
September 27, 2024 13:17 26s main
main
September 27, 2024 13:17 26s
ex_01_options CI #43: Pull request #12 synchronize by s-taiga
September 27, 2024 13:14 22s ex_01_options
ex_01_options
September 27, 2024 13:14 22s
ex_01_options CI #42: Pull request #12 opened by s-taiga
September 27, 2024 12:54 20s ex_01_options
ex_01_options
September 27, 2024 12:54 20s
10_cheat-sheet (#11) CI #41: Commit 3026bb9 pushed by s-taiga
September 27, 2024 12:52 20s main
main
September 27, 2024 12:52 20s
10_cheat-sheet CI #40: Pull request #11 synchronize by s-taiga
September 27, 2024 12:48 31s 10_cheet-sheet
10_cheet-sheet
September 27, 2024 12:48 31s
10_cheat-sheet CI #39: Pull request #11 opened by s-taiga
September 26, 2024 23:56 20s 10_cheet-sheet
10_cheet-sheet
September 26, 2024 23:56 20s
09_tactics (#10) CI #38: Commit 39a2b7e pushed by s-taiga
September 26, 2024 23:54 20s main
main
September 26, 2024 23:54 20s
09_tactics CI #37: Pull request #10 synchronize by s-taiga
September 26, 2024 23:51 19s 09_tactics
09_tactics
September 26, 2024 23:51 19s
09_tactics CI #36: Pull request #10 synchronize by s-taiga
September 26, 2024 23:43 19s 09_tactics
09_tactics
September 26, 2024 23:43 19s
09_tactics CI #35: Pull request #10 opened by s-taiga
September 23, 2024 13:38 20s 09_tactics
09_tactics
September 23, 2024 13:38 20s
08_dsls (#9) CI #34: Commit 0537885 pushed by s-taiga
September 23, 2024 13:35 27s main
main
September 23, 2024 13:35 27s
08_dsls CI #33: Pull request #9 synchronize by s-taiga
September 23, 2024 13:14 25s 08_dsls
08_dsls
September 23, 2024 13:14 25s
08_dsls CI #32: Pull request #9 opened by s-taiga
September 23, 2024 05:07 22s 08_dsls
08_dsls
September 23, 2024 05:07 22s
07_elaboration (#8) CI #31: Commit d8a0d6e pushed by s-taiga
September 23, 2024 05:05 24s main
main
September 23, 2024 05:05 24s
07_elaboration CI #30: Pull request #8 synchronize by s-taiga
September 23, 2024 05:03 20s 07_elaboration
07_elaboration
September 23, 2024 05:03 20s
07_elaboration CI #29: Pull request #8 synchronize by s-taiga
September 23, 2024 04:47 26s 07_elaboration
07_elaboration
September 23, 2024 04:47 26s
07_elaboration CI #28: Pull request #8 opened by s-taiga
September 22, 2024 07:56 17s 07_elaboration
07_elaboration
September 22, 2024 07:56 17s
06_macros (#7) CI #27: Commit b4a5049 pushed by s-taiga
September 22, 2024 07:54 19s main
main
September 22, 2024 07:54 19s
06_macros CI #26: Pull request #7 synchronize by s-taiga
September 22, 2024 07:49 26s 06_macros
06_macros
September 22, 2024 07:49 26s
06_macros CI #25: Pull request #7 synchronize by s-taiga
September 22, 2024 07:17 26s 06_macros
06_macros
September 22, 2024 07:17 26s