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

Files翻訳完了 (#5) Build and check HTML #15: Commit 92cacff pushed by s-taiga
November 8, 2024 12:56 2m 40s main
main
November 8, 2024 12:56 2m 40s
Files翻訳 Build and check HTML #14: Pull request #5 opened by s-taiga
November 8, 2024 12:44 2m 57s feature/v1/Files
feature/v1/Files
November 8, 2024 12:44 2m 57s
Files翻訳 Check for copyright headers #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
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翻訳 (#4) Build and check HTML #13: Commit f35caa2 pushed by s-taiga
November 7, 2024 16:19 2m 36s main
main
November 7, 2024 16:19 2m 36s
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 copyright headers #8: Pull request #4 synchronize by s-taiga
November 7, 2024 16:17 14s feature/v1/Elaboration
feature/v1/Elaboration
November 7, 2024 16:17 14s
Elaboration翻訳 Build and check HTML #12: Pull request #4 synchronize by s-taiga
November 7, 2024 16:17 2m 25s feature/v1/Elaboration
feature/v1/Elaboration
November 7, 2024 16:17 2m 25s
Elaboration翻訳 Check for copyright headers #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翻訳 Build and check HTML #11: Pull request #4 synchronize by s-taiga
November 7, 2024 16:05 3m 18s feature/v1/Elaboration
feature/v1/Elaboration
November 7, 2024 16:05 3m 18s
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 copyright headers #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
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
Elaboration翻訳 Build and check HTML #10: Pull request #4 opened by s-taiga
November 7, 2024 15:48 2m 12s feature/v1/Elaboration
feature/v1/Elaboration
November 7, 2024 15:48 2m 12s
Intro翻訳 (#3) Build and check HTML #9: Commit c3a566f pushed by s-taiga
November 4, 2024 10:08 1m 44s main
main
November 4, 2024 10:08 1m 44s
Intro翻訳 Build and check HTML #8: Pull request #3 synchronize by s-taiga
November 4, 2024 10:06 2m 11s feature/v1/Intro
feature/v1/Intro
November 4, 2024 10:06 2m 11s
Intro翻訳 Check for copyright headers #5: Pull request #3 synchronize by s-taiga
November 4, 2024 10:06 17s feature/v1/Intro
feature/v1/Intro
November 4, 2024 10:06 17s
Intro翻訳 Check for too-big Lean imports #5: Pull request #3 synchronize by s-taiga
November 4, 2024 10:06 16s feature/v1/Intro
feature/v1/Intro
November 4, 2024 10:06 16s
Intro翻訳 Check for copyright headers #4: Pull request #3 opened by s-taiga
November 4, 2024 10:01 14s feature/v1/Intro
feature/v1/Intro
November 4, 2024 10:01 14s
Intro翻訳 Check for too-big Lean imports #4: Pull request #3 opened by s-taiga
November 4, 2024 10:01 14s feature/v1/Intro
feature/v1/Intro
November 4, 2024 10:01 14s
Intro翻訳 Build and check HTML #7: Pull request #3 opened by s-taiga
November 4, 2024 10:01 1m 41s feature/v1/Intro
feature/v1/Intro
November 4, 2024 10:01 1m 41s
翻訳完了 (#2) Build and check HTML #6: Commit 723dfa0 pushed by s-taiga
November 4, 2024 05:59 2m 5s main
main
November 4, 2024 05:59 2m 5s
Manual翻訳 Build and check HTML #5: Pull request #2 opened by s-taiga
November 4, 2024 05:53 2m 5s feature/v1/Manual
feature/v1/Manual
November 4, 2024 05:53 2m 5s
Manual翻訳 Check for copyright headers #3: Pull request #2 opened by s-taiga
November 4, 2024 05:53 12s feature/v1/Manual
feature/v1/Manual
November 4, 2024 05:53 12s
Manual翻訳 Check for too-big Lean imports #3: Pull request #2 opened by s-taiga
November 4, 2024 05:53 12s feature/v1/Manual
feature/v1/Manual
November 4, 2024 05:53 12s
ProTip! You can narrow down the results and go further in time using created:<2024-11-04 or the other filters available.