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

Actions: lean-ja/reference-manual-ja

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
384 workflow runs
384 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Language翻訳 (#43) Build and check HTML #157: Commit 571ea7a pushed by s-taiga
January 4, 2025 13:38 6m 33s main
main
January 4, 2025 13:38 6m 33s
Language翻訳 (#43) Build and check HTML #156: Commit e54c69b pushed by s-taiga
January 4, 2025 13:27 4m 45s main
main
January 4, 2025 13:27 4m 45s
Language翻訳 Check for copyright headers #105: Pull request #43 synchronize by s-taiga
January 4, 2025 13:22 11s feature/v3/Language
feature/v3/Language
January 4, 2025 13:22 11s
Language翻訳 Check for too-big Lean imports #105: Pull request #43 synchronize by s-taiga
January 4, 2025 13:22 10s feature/v3/Language
feature/v3/Language
January 4, 2025 13:22 10s
Language翻訳 Build and check HTML #155: Pull request #43 synchronize by s-taiga
January 4, 2025 13:22 4m 44s feature/v3/Language
feature/v3/Language
January 4, 2025 13:22 4m 44s
Language翻訳 Check for too-big Lean imports #104: Pull request #43 synchronize by s-taiga
January 4, 2025 13:16 15s feature/v3/Language
feature/v3/Language
January 4, 2025 13:16 15s
Language翻訳 Build and check HTML #154: Pull request #43 synchronize by s-taiga
January 4, 2025 13:16 4m 0s feature/v3/Language
feature/v3/Language
January 4, 2025 13:16 4m 0s
Language翻訳 Check for copyright headers #104: Pull request #43 synchronize by s-taiga
January 4, 2025 13:16 15s feature/v3/Language
feature/v3/Language
January 4, 2025 13:16 15s
誤訳修正 (#45) Build and check HTML #153: Commit f6c1a82 pushed by s-taiga
January 4, 2025 06:39 4m 45s main
main
January 4, 2025 06:39 4m 45s
誤訳修正 Build and check HTML #152: Pull request #45 synchronize by s-taiga
January 4, 2025 06:09 4m 32s fix/v3/0104
fix/v3/0104
January 4, 2025 06:09 4m 32s
誤訳修正 Check for too-big Lean imports #103: Pull request #45 synchronize by s-taiga
January 4, 2025 06:09 11s fix/v3/0104
fix/v3/0104
January 4, 2025 06:09 11s
誤訳修正 Check for copyright headers #103: Pull request #45 synchronize by s-taiga
January 4, 2025 06:09 15s fix/v3/0104
fix/v3/0104
January 4, 2025 06:09 15s
誤訳修正 Check for too-big Lean imports #102: Pull request #45 synchronize by s-taiga
January 4, 2025 05:54 10s fix/v3/0104
fix/v3/0104
January 4, 2025 05:54 10s
誤訳修正 Build and check HTML #151: Pull request #45 synchronize by s-taiga
January 4, 2025 05:54 3m 49s fix/v3/0104
fix/v3/0104
January 4, 2025 05:54 3m 49s
誤訳修正 Check for copyright headers #102: Pull request #45 synchronize by s-taiga
January 4, 2025 05:54 10s fix/v3/0104
fix/v3/0104
January 4, 2025 05:54 10s
誤訳修正 Check for copyright headers #101: Pull request #45 opened by s-taiga
January 4, 2025 01:13 16s fix/v3/0104
fix/v3/0104
January 4, 2025 01:13 16s
誤訳修正 Check for too-big Lean imports #101: Pull request #45 opened by s-taiga
January 4, 2025 01:13 16s fix/v3/0104
fix/v3/0104
January 4, 2025 01:13 16s
誤訳修正 Build and check HTML #150: Pull request #45 opened by s-taiga
January 4, 2025 01:13 4m 42s fix/v3/0104
fix/v3/0104
January 4, 2025 01:13 4m 42s
誤訳修正 (#44) Build and check HTML #149: Commit 3ae601c pushed by s-taiga
January 3, 2025 12:37 3m 59s main
main
January 3, 2025 12:37 3m 59s
誤訳修正 Check for copyright headers #100: Pull request #44 opened by s-taiga
January 3, 2025 12:27 16s fix/v3/0103
fix/v3/0103
January 3, 2025 12:27 16s
誤訳修正 Check for too-big Lean imports #100: Pull request #44 opened by s-taiga
January 3, 2025 12:27 11s fix/v3/0103
fix/v3/0103
January 3, 2025 12:27 11s
誤訳修正 Build and check HTML #148: Pull request #44 opened by s-taiga
January 3, 2025 12:27 4m 47s fix/v3/0103
fix/v3/0103
January 3, 2025 12:27 4m 47s
Language翻訳 Check for too-big Lean imports #99: Pull request #43 opened by s-taiga
January 3, 2025 09:01 12s feature/v3/Language
feature/v3/Language
January 3, 2025 09:01 12s
Language翻訳 Build and check HTML #147: Pull request #43 opened by s-taiga
January 3, 2025 09:01 4m 36s feature/v3/Language
feature/v3/Language
January 3, 2025 09:01 4m 36s
Language翻訳 Check for copyright headers #99: Pull request #43 opened by s-taiga
January 3, 2025 09:01 12s feature/v3/Language
feature/v3/Language
January 3, 2025 09:01 12s