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

Precedence翻訳 Build and check HTML #70: Pull request #24 opened by s-taiga
December 10, 2024 15:59 5m 10s feature/v2/Precedence
feature/v2/Precedence
December 10, 2024 15:59 5m 10s
Operators翻訳 (#23) Build and check HTML #69: Commit 77703c6 pushed by s-taiga
December 10, 2024 15:58 1m 37s main
main
December 10, 2024 15:58 1m 37s
Operators翻訳 Check for too-big Lean imports #44: Pull request #23 synchronize by s-taiga
December 10, 2024 15:57 12s feature/v2/Operators
feature/v2/Operators
December 10, 2024 15:57 12s
Operators翻訳 Build and check HTML #68: Pull request #23 synchronize by s-taiga
December 10, 2024 15:57 38s feature/v2/Operators
feature/v2/Operators
December 10, 2024 15:57 38s
Operators翻訳 Check for copyright headers #44: Pull request #23 synchronize by s-taiga
December 10, 2024 15:57 18s feature/v2/Operators
feature/v2/Operators
December 10, 2024 15:57 18s
Operators翻訳 Check for too-big Lean imports #43: Pull request #23 synchronize by s-taiga
December 10, 2024 15:55 15s feature/v2/Operators
feature/v2/Operators
December 10, 2024 15:55 15s
Operators翻訳 Build and check HTML #67: Pull request #23 synchronize by s-taiga
December 10, 2024 15:55 4m 45s feature/v2/Operators
feature/v2/Operators
December 10, 2024 15:55 4m 45s
Operators翻訳 Check for copyright headers #43: Pull request #23 synchronize by s-taiga
December 10, 2024 15:55 12s feature/v2/Operators
feature/v2/Operators
December 10, 2024 15:55 12s
Operators翻訳 Build and check HTML #66: Pull request #23 opened by s-taiga
December 10, 2024 14:01 4m 40s feature/v2/Operators
feature/v2/Operators
December 10, 2024 14:01 4m 40s
Operators翻訳 Check for copyright headers #42: Pull request #23 opened by s-taiga
December 10, 2024 14:01 17s feature/v2/Operators
feature/v2/Operators
December 10, 2024 14:01 17s
Operators翻訳 Check for too-big Lean imports #42: Pull request #23 opened by s-taiga
December 10, 2024 14:01 20s feature/v2/Operators
feature/v2/Operators
December 10, 2024 14:01 20s
Notation翻訳 (#22) Build and check HTML #65: Commit feea1ab pushed by s-taiga
December 10, 2024 13:57 3m 29s main
main
December 10, 2024 13:57 3m 29s
Notation翻訳 Check for too-big Lean imports #41: Pull request #22 synchronize by s-taiga
December 10, 2024 13:53 13s feature/v2/Notation
feature/v2/Notation
December 10, 2024 13:53 13s
Notation翻訳 Build and check HTML #64: Pull request #22 synchronize by s-taiga
December 10, 2024 13:53 3m 53s feature/v2/Notation
feature/v2/Notation
December 10, 2024 13:53 3m 53s
Notation翻訳 Check for copyright headers #41: Pull request #22 synchronize by s-taiga
December 10, 2024 13:53 14s feature/v2/Notation
feature/v2/Notation
December 10, 2024 13:53 14s
Notation翻訳 Build and check HTML #63: Pull request #22 opened by s-taiga
December 9, 2024 13:48 4m 27s feature/v2/Notation
feature/v2/Notation
December 9, 2024 13:48 4m 27s
Notation翻訳 Check for too-big Lean imports #40: Pull request #22 opened by s-taiga
December 9, 2024 13:48 14s feature/v2/Notation
feature/v2/Notation
December 9, 2024 13:48 14s
Notation翻訳 Check for copyright headers #40: Pull request #22 opened by s-taiga
December 9, 2024 13:48 14s feature/v2/Notation
feature/v2/Notation
December 9, 2024 13:48 14s
NotationsMacros翻訳 (#21) Build and check HTML #62: Commit 7da6ce7 pushed by s-taiga
December 9, 2024 13:44 3m 18s main
main
December 9, 2024 13:44 3m 18s
NotationsMacros翻訳 Check for too-big Lean imports #39: Pull request #21 synchronize by s-taiga
December 9, 2024 13:39 12s feature/v2/NotationsMacros
feature/v2/NotationsMacros
December 9, 2024 13:39 12s
NotationsMacros翻訳 Build and check HTML #61: Pull request #21 synchronize by s-taiga
December 9, 2024 13:39 4m 16s feature/v2/NotationsMacros
feature/v2/NotationsMacros
December 9, 2024 13:39 4m 16s
NotationsMacros翻訳 Check for copyright headers #39: Pull request #21 synchronize by s-taiga
December 9, 2024 13:39 16s feature/v2/NotationsMacros
feature/v2/NotationsMacros
December 9, 2024 13:39 16s
NotationsMacros翻訳 Check for too-big Lean imports #38: Pull request #21 opened by s-taiga
December 6, 2024 14:12 13s feature/v2/NotationsMacros
feature/v2/NotationsMacros
December 6, 2024 14:12 13s
NotationsMacros翻訳 Build and check HTML #60: Pull request #21 opened by s-taiga
December 6, 2024 14:12 6m 17s feature/v2/NotationsMacros
feature/v2/NotationsMacros
December 6, 2024 14:12 6m 17s
NotationsMacros翻訳 Check for copyright headers #38: Pull request #21 opened by s-taiga
December 6, 2024 14:12 12s feature/v2/NotationsMacros
feature/v2/NotationsMacros
December 6, 2024 14:12 12s
ProTip! You can narrow down the results and go further in time using created:<2024-12-06 or the other filters available.