Skip to content

Actions: lean-ja/type_checking_in_lean4_ja

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

definitional equalityの訳修正 (#22) Deploy mdBook site to Pages #69: Commit da40357 pushed by s-taiga
November 4, 2024 05:53 2m 2s main
main
November 4, 2024 05:53 2m 2s
definitional equalityの訳修正 Deploy mdBook site to Pages #68: Pull request #22 opened by s-taiga
November 4, 2024 05:50 1m 51s fix/defeq
fix/defeq
November 4, 2024 05:50 1m 51s
future_work_further_reading翻訳 (#21) Deploy mdBook site to Pages #67: Commit 47c357c pushed by s-taiga
November 4, 2024 04:29 2m 6s main
main
November 4, 2024 04:29 2m 6s
future_work_further_reading翻訳 Deploy mdBook site to Pages #66: Pull request #21 synchronize by s-taiga
November 4, 2024 04:27 1m 52s future_work_further_reading
future_work_further_reading
November 4, 2024 04:27 1m 52s
future_work_further_reading翻訳 Deploy mdBook site to Pages #65: Pull request #21 opened by s-taiga
November 3, 2024 15:25 1m 48s future_work_further_reading
future_work_further_reading
November 3, 2024 15:25 1m 48s
reduction翻訳 (#20) Deploy mdBook site to Pages #64: Commit b82f20b pushed by s-taiga
November 3, 2024 15:22 2m 2s main
main
November 3, 2024 15:22 2m 2s
reduction翻訳 Deploy mdBook site to Pages #63: Pull request #20 synchronize by s-taiga
November 3, 2024 15:20 1m 52s reduction
reduction
November 3, 2024 15:20 1m 52s
reduction翻訳 Deploy mdBook site to Pages #62: Pull request #20 opened by s-taiga
October 28, 2024 16:09 1m 54s reduction
reduction
October 28, 2024 16:09 1m 54s
definitional_equality翻訳 (#19) Deploy mdBook site to Pages #61: Commit 462a062 pushed by s-taiga
October 28, 2024 13:49 2m 9s main
main
October 28, 2024 13:49 2m 9s
definitional_equality翻訳 Deploy mdBook site to Pages #60: Pull request #19 synchronize by s-taiga
October 28, 2024 13:44 1m 48s definitional_equality
definitional_equality
October 28, 2024 13:44 1m 48s
definitional_equality翻訳 Deploy mdBook site to Pages #59: Pull request #19 opened by s-taiga
October 26, 2024 14:28 1m 49s definitional_equality
definitional_equality
October 26, 2024 14:28 1m 49s
type_inference翻訳 (#18) Deploy mdBook site to Pages #58: Commit d059360 pushed by s-taiga
October 26, 2024 14:25 2m 8s main
main
October 26, 2024 14:25 2m 8s
type_inference翻訳 Deploy mdBook site to Pages #57: Pull request #18 synchronize by s-taiga
October 26, 2024 14:21 1m 47s type_inference
type_inference
October 26, 2024 14:21 1m 47s
type_inference翻訳 Deploy mdBook site to Pages #56: Pull request #18 opened by s-taiga
October 24, 2024 13:11 1m 46s type_inference
type_inference
October 24, 2024 13:11 1m 46s
inductive翻訳 (#17) Deploy mdBook site to Pages #55: Commit 842c0fe pushed by s-taiga
October 24, 2024 13:05 2m 5s main
main
October 24, 2024 13:05 2m 5s
inductive翻訳 Deploy mdBook site to Pages #54: Pull request #17 synchronize by s-taiga
October 24, 2024 12:58 1m 48s inductive
inductive
October 24, 2024 12:58 1m 48s
inductive翻訳 Deploy mdBook site to Pages #53: Pull request #17 opened by s-taiga
October 11, 2024 13:01 1m 45s inductive
inductive
October 11, 2024 13:01 1m 45s
declarations翻訳 (#16) Deploy mdBook site to Pages #52: Commit 56c9e4e pushed by s-taiga
October 11, 2024 12:44 2m 9s main
main
October 11, 2024 12:44 2m 9s
declarations翻訳 Deploy mdBook site to Pages #51: Pull request #16 synchronize by s-taiga
October 11, 2024 12:37 1m 46s declarations
declarations
October 11, 2024 12:37 1m 46s
declarations翻訳 Deploy mdBook site to Pages #50: Pull request #16 opened by s-taiga
October 10, 2024 14:00 2m 26s declarations
declarations
October 10, 2024 14:00 2m 26s
implementing_expressions翻訳 (#15) Deploy mdBook site to Pages #49: Commit 6dec7eb pushed by s-taiga
October 10, 2024 13:59 1m 59s main
main
October 10, 2024 13:59 1m 59s
implementing_expressions翻訳 Deploy mdBook site to Pages #48: Pull request #15 synchronize by s-taiga
October 10, 2024 13:56 1m 51s implementing_expressions
implementing_expressions
October 10, 2024 13:56 1m 51s
implementing_expressions翻訳 Deploy mdBook site to Pages #47: Pull request #15 opened by s-taiga
October 10, 2024 13:27 1m 48s implementing_expressions
implementing_expressions
October 10, 2024 13:27 1m 48s
expressions翻訳 (#14) Deploy mdBook site to Pages #46: Commit 8e1930c pushed by s-taiga
October 10, 2024 13:24 2m 2s main
main
October 10, 2024 13:24 2m 2s
expressions翻訳 Deploy mdBook site to Pages #45: Pull request #14 synchronize by s-taiga
October 10, 2024 13:06 1m 47s expressions
expressions
October 10, 2024 13:06 1m 47s