Skip to content

Actions: s-taiga/reference-manual-ja

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy PR for review Deploy PR for review #16: completed by s-taiga
February 4, 2025 15:05 3s
February 4, 2025 15:05 3s
Deploy PR for review Deploy PR for review #15: completed by s-taiga
February 4, 2025 15:00 3s
February 4, 2025 15:00 3s
WF翻訳 Build and check HTML #21: Pull request #7 opened by s-taiga
February 4, 2025 14:58 7m 49s feature/v4/WF
feature/v4/WF
February 4, 2025 14:58 7m 49s
WF翻訳 Check for too-big Lean imports #13: Pull request #7 opened by s-taiga
February 4, 2025 14:58 14s feature/v4/WF
feature/v4/WF
February 4, 2025 14:58 14s
WF翻訳 Check for copyright headers #13: Pull request #7 opened by s-taiga
February 4, 2025 14:58 14s feature/v4/WF
feature/v4/WF
February 4, 2025 14:58 14s
RecursiveDefs翻訳 (#6) Build and check HTML #20: Commit 17351b4 pushed by s-taiga
February 4, 2025 14:56 4m 7s main
main
February 4, 2025 14:56 4m 7s
Deploy PR for review Deploy PR for review #14: completed by s-taiga
February 4, 2025 14:55 3s
February 4, 2025 14:55 3s
RecursiveDefs翻訳 Check for too-big Lean imports #12: Pull request #6 synchronize by s-taiga
February 4, 2025 14:50 13s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 4, 2025 14:50 13s
RecursiveDefs翻訳 Check for copyright headers #12: Pull request #6 synchronize by s-taiga
February 4, 2025 14:50 13s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 4, 2025 14:50 13s
RecursiveDefs翻訳 Build and check HTML #19: Pull request #6 synchronize by s-taiga
February 4, 2025 14:50 5m 24s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 4, 2025 14:50 5m 24s
Deploy PR for review Deploy PR for review #13: completed by s-taiga
February 4, 2025 14:47 2s
February 4, 2025 14:47 2s
RecursiveDefs翻訳 Check for too-big Lean imports #11: Pull request #6 synchronize by s-taiga
February 4, 2025 14:44 17s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 4, 2025 14:44 17s
RecursiveDefs翻訳 Build and check HTML #18: Pull request #6 synchronize by s-taiga
February 4, 2025 14:44 3m 9s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 4, 2025 14:44 3m 9s
RecursiveDefs翻訳 Check for copyright headers #11: Pull request #6 synchronize by s-taiga
February 4, 2025 14:44 11s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 4, 2025 14:44 11s
Deploy PR for review Deploy PR for review #12: completed by s-taiga
February 4, 2025 14:40 3s
February 4, 2025 14:40 3s
RecursiveDefs翻訳 Build and check HTML #17: Pull request #6 synchronize by s-taiga
February 4, 2025 14:39 1m 4s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 4, 2025 14:39 1m 4s
RecursiveDefs翻訳 Check for copyright headers #10: Pull request #6 synchronize by s-taiga
February 4, 2025 14:39 12s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 4, 2025 14:39 12s
RecursiveDefs翻訳 Check for too-big Lean imports #10: Pull request #6 synchronize by s-taiga
February 4, 2025 14:39 13s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 4, 2025 14:39 13s
Deploy PR for review Deploy PR for review #11: completed by s-taiga
February 3, 2025 15:42 2s
February 3, 2025 15:42 2s
Deploy PR for review Deploy PR for review #10: completed by s-taiga
February 3, 2025 15:37 2s
February 3, 2025 15:37 2s
RecursiveDefs翻訳 Check for copyright headers #9: Pull request #6 opened by s-taiga
February 3, 2025 15:31 15s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 3, 2025 15:31 15s
RecursiveDefs翻訳 Check for too-big Lean imports #9: Pull request #6 opened by s-taiga
February 3, 2025 15:31 12s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 3, 2025 15:31 12s
RecursiveDefs翻訳 Build and check HTML #16: Pull request #6 opened by s-taiga
February 3, 2025 15:31 11m 0s feature/v4/RecursiveDefs
feature/v4/RecursiveDefs
February 3, 2025 15:31 11m 0s
GuessLexExample翻訳 (#5) Build and check HTML #15: Commit 16f7d61 pushed by s-taiga
February 3, 2025 15:24 12m 42s main
main
February 3, 2025 15:24 12m 42s
Deploy PR for review Deploy PR for review #9: completed by s-taiga
February 3, 2025 15:22 3s
February 3, 2025 15:22 3s