Skip to content

Actions: lean-ja/reference-manual-ja

Actions

Check for too-big Lean imports

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
too-big-imports.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Classes翻訳 Check for too-big Lean imports #30: Pull request #17 opened by s-taiga
November 24, 2024 09:48 14s feature/v2/Classes
feature/v2/Classes
November 24, 2024 09:48 14s
翻訳準備（2回目） Check for too-big Lean imports #29: Pull request #16 synchronize by s-taiga
November 24, 2024 09:34 12s feature/v2/prepare_for_translate
feature/v2/prepare_for_translate
November 24, 2024 09:34 12s
翻訳準備（2回目） Check for too-big Lean imports #28: Pull request #16 opened by s-taiga
November 24, 2024 08:50 1m 1s feature/v2/prepare_for_translate
feature/v2/prepare_for_translate
November 24, 2024 08:50 1m 1s
BasicTypes翻訳 Check for too-big Lean imports #27: Pull request #15 synchronize by s-taiga
November 23, 2024 07:53 12s feature/v1/BasicTypes
feature/v1/BasicTypes
November 23, 2024 07:53 12s
BasicTypes翻訳 Check for too-big Lean imports #26: Pull request #15 opened by s-taiga
November 23, 2024 04:44 14s feature/v1/BasicTypes
feature/v1/BasicTypes
November 23, 2024 04:44 14s
Simp翻訳 Check for too-big Lean imports #25: Pull request #14 synchronize by s-taiga
November 23, 2024 04:37 1m 2s feature/v1/Simp
feature/v1/Simp
November 23, 2024 04:37 1m 2s
Simp翻訳 Check for too-big Lean imports #24: Pull request #14 opened by s-taiga
November 22, 2024 12:58 17s feature/v1/Simp
feature/v1/Simp
November 22, 2024 12:58 17s
Custom翻訳 Check for too-big Lean imports #23: Pull request #13 synchronize by s-taiga
November 22, 2024 12:52 16s feature/v1/Custom
feature/v1/Custom
November 22, 2024 12:52 16s
Custom翻訳 Check for too-big Lean imports #22: Pull request #13 opened by s-taiga
November 21, 2024 14:05 11s feature/v1/Custom
feature/v1/Custom
November 21, 2024 14:05 11s
Reference/Conv翻訳 Check for too-big Lean imports #21: Pull request #12 synchronize by s-taiga
November 21, 2024 13:59 16s feature/v1/Reference_Conv
feature/v1/Reference_Conv
November 21, 2024 13:59 16s
Reference/Conv翻訳 Check for too-big Lean imports #20: Pull request #12 opened by s-taiga
November 19, 2024 15:35 13s feature/v1/Reference_Conv
feature/v1/Reference_Conv
November 19, 2024 15:35 13s
Tactics翻訳 Check for too-big Lean imports #19: Pull request #11 synchronize by s-taiga
November 19, 2024 15:01 13s feature/v1/Tactics
feature/v1/Tactics
November 19, 2024 15:01 13s
Tactics翻訳 Check for too-big Lean imports #18: Pull request #11 opened by s-taiga
November 11, 2024 14:15 16s feature/v1/Tactics
feature/v1/Tactics
November 11, 2024 14:15 16s
Language翻訳 Check for too-big Lean imports #17: Pull request #10 synchronize by s-taiga
November 11, 2024 14:07 13s feature/v1/Language
feature/v1/Language
November 11, 2024 14:07 13s
Language翻訳 Check for too-big Lean imports #16: Pull request #10 opened by s-taiga
November 10, 2024 13:44 13s feature/v1/Language
feature/v1/Language
November 10, 2024 13:44 13s
Structures翻訳 Check for too-big Lean imports #15: Pull request #9 synchronize by s-taiga
November 10, 2024 13:37 12s feature/v1/Structures
feature/v1/Structures
November 10, 2024 13:37 12s
Structures翻訳 Check for too-big Lean imports #14: Pull request #9 opened by s-taiga
November 10, 2024 08:12 18s feature/v1/Structures
feature/v1/Structures
November 10, 2024 08:12 18s
Logical Model翻訳 Check for too-big Lean imports #13: Pull request #8 synchronize by s-taiga
November 10, 2024 08:07 13s feature/v1/LogicalModel
feature/v1/LogicalModel
November 10, 2024 08:07 13s
Logical Model翻訳 Check for too-big Lean imports #12: Pull request #8 opened by s-taiga
November 9, 2024 15:22 12s feature/v1/LogicalModel
feature/v1/LogicalModel
November 9, 2024 15:22 12s
InductiveTypes翻訳 Check for too-big Lean imports #11: Pull request #7 opened by s-taiga
November 9, 2024 15:07 16s feature/v1/InductiveTypes
feature/v1/InductiveTypes
November 9, 2024 15:07 16s
Functions翻訳 Check for too-big Lean imports #10: Pull request #6 opened by s-taiga
November 8, 2024 15:36 13s feature/v1/Functions
feature/v1/Functions
November 8, 2024 15:36 13s
Files翻訳 Check for too-big Lean imports #9: Pull request #5 opened by s-taiga
November 8, 2024 12:44 16s feature/v1/Files
feature/v1/Files
November 8, 2024 12:44 16s
Elaboration翻訳 Check for too-big Lean imports #8: Pull request #4 synchronize by s-taiga
November 7, 2024 16:17 17s feature/v1/Elaboration
feature/v1/Elaboration
November 7, 2024 16:17 17s
Elaboration翻訳 Check for too-big Lean imports #7: Pull request #4 synchronize by s-taiga
November 7, 2024 16:05 16s feature/v1/Elaboration
feature/v1/Elaboration
November 7, 2024 16:05 16s
Elaboration翻訳 Check for too-big Lean imports #6: Pull request #4 opened by s-taiga
November 7, 2024 15:48 14s feature/v1/Elaboration
feature/v1/Elaboration
November 7, 2024 15:48 14s